Commits

Breadcrumbs

History for

one0212e5

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 15, 2022

• fix numeric issue surfaced by TF0 translation

  apease

  committed
  ab0f147

  Copy full SHA for ab0f147

Commits on Jul 13, 2021

• More revision to fix Diagnostic issues

  

  Jennifer Pease

  committed
  db526ad

  Copy full SHA for db526ad

Commits on Jul 12, 2021

• revision to fix previous errors appeared in ComputingBrands.kif and Transportation.kif

  

  Jennifer Pease

  committed
  e8b59ef

  Copy full SHA for e8b59ef

Commits on Jul 1, 2021

• revision to correct error without a root connection

  

  Jennifer Pease

  committed
  b2021f3

  Copy full SHA for b2021f3

Commits on Jun 20, 2021

• refined definition for CruiseShip

  apease

  committed
  88bbbc8

  Copy full SHA for 88bbbc8

Commits on Jun 3, 2021

• variables associated with inequality operators and termFormat

  

  Jennifer Pease

  committed
  cfe3818

  Copy full SHA for cfe3818

Commits on Dec 24, 2019

• mostly fix orphaned terms and typos

  apease

  committed
  b96206c

  Copy full SHA for b96206c

Commits on Nov 5, 2019

• fix typos

  apease

  committed
  721f71a

  Copy full SHA for 721f71a

Commits on Jun 21, 2019

• solves #163

  arademaker

  committed
  f4c3699

  Copy full SHA for f4c3699

Commits on Jun 8, 2019

• moved documentation for Canoe from Sports.kif to here

  apease

  committed
  371e622

  Copy full SHA for 371e622

Commits on Aug 24, 2017

• made a Tunnel Underground, axioms for Paved and Unpaved

  apease

  committed
  979133c

  Copy full SHA for 979133c

Commits on Aug 14, 2017

• Merged Subway into SubwaySystem

  apease

  committed
  b6e6c63

  Copy full SHA for b6e6c63

Commits on Aug 12, 2017

• merge ShipDeck and BoatDeck

  apease

  committed
  32ed53c

  Copy full SHA for 32ed53c

Commits on Jul 31, 2017

• corrected documentation for Pipeline

  apease

  committed
  56f87d5

  Copy full SHA for 56f87d5

Commits on Apr 1, 2017

• Migrated CargoShip to MILO. Made ShipMate and Steward subAttribute

  Show description for 26d36dc
  apease

  committed
  26d36dc

  Copy full SHA for 26d36dc

Commits on Dec 2, 2016

• Merge pull request #38 from jefft0/MediumLengthRunwayAirport

  Show description for c251442
  msvarny

  authored
  c251442

  Copy full SHA for c251442

Commits on Oct 3, 2016

• Added axioms for railway gauges

  apease

  committed
  8b05e21

  Copy full SHA for 8b05e21

Commits on Aug 24, 2016

• Transportation.kif: Fix typo in the rule for runway length of MediumLengthRunwayAirport.

  jefft0

  committed
  771dd05

  Copy full SHA for 771dd05

Commits on Feb 11, 2013

• Moved Waterway and PortCity

  

  apease

  committed
  499c737

  Copy full SHA for 499c737

Commits on Oct 31, 2011

• Moved most of InfoboxRelations.kif terms to other more appropriate files. Also commented out terms with no root at Entity in Economy.kif

  

  knomorosa

  committed
  c853673

  Copy full SHA for c853673

Commits on Oct 26, 2011

• Changes to remove dependencies between files.

  

  knomorosa

  committed
  7c39bad

  Copy full SHA for 7c39bad

Commits on Oct 22, 2011

• changes to minimize dependencies between Merge.kif, Mid-level-ontology.kif and other domain ontologies.

  

  knomorosa

  committed
  b979e17

  Copy full SHA for b979e17

Commits on Oct 19, 2011

• Moved definitions around to reduce dependencies between files.

  

  knomorosa

  committed
  527c966

  Copy full SHA for 527c966

Commits on Jul 21, 2011

• changes to partlyLocated and located to fix an inconsistency found in those definitions

  

  knomorosa

  committed
  bc77f0a

  Copy full SHA for bc77f0a

Commits on Dec 23, 2010

• Moved definition of Airway to MILO

  

  apease

  committed
  81e4790

  Copy full SHA for 81e4790

Commits on Apr 7, 2010

• Removed obsolete version date. Corrected missing parameters in use of

  Show description for 342acd7
  

  apease

  committed
  342acd7

  Copy full SHA for 342acd7

Commits on Apr 2, 2010

• Corrected documentation of pathEndpoint to be routeState, which was what

  Show description for be3f6c7
  

  apease

  committed
  be3f6c7

  Copy full SHA for be3f6c7

Commits on Mar 2, 2010

• Fixed a typo in an axiom

  

  apease

  committed
  7d29800

  Copy full SHA for 7d29800

Commits on Jul 16, 2009

• Corrected a typo in a &%range definition

  

  apease

  committed
  99896f1

  Copy full SHA for 99896f1

Commits on Jul 8, 2009

• Fixed web link in header

  

  apease

  committed
  32c2aeb

  Copy full SHA for 32c2aeb

• Fixed some capitalization typos.

  

  apease

  committed
  3702445

  Copy full SHA for 3702445

Commits on Jun 19, 2009

• Fix inconsistencies reported by eprover.

  

  abu_banaat

  committed
  038894e

  Copy full SHA for 038894e

Commits on May 31, 2009

• Corrected some variable naming typos.

  

  apease

  committed
  9a1d8ed

  Copy full SHA for 9a1d8ed

Commits on May 28, 2009

• Moved RoadVehicle and Aircraft to MILO

  

  apease

  committed
  2428b8a

  Copy full SHA for 2428b8a

Commits on Apr 21, 2009

• Fixed a couple of syntax errors

  

  apease

  committed
  f58972a

  Copy full SHA for f58972a

Pagination

Previous

Next