Commits

Breadcrumbs

History for

on6745e91

User selector

All users

Datepicker

All time

Commit History

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

• Corrected syntax error.

  

  apease

  committed
  ecdee7a

  Copy full SHA for ecdee7a

Commits on Apr 20, 2009

• Moved &%equipmentCount from here to MILO

  

  apease

  committed
  2afa632

  Copy full SHA for 2afa632

Commits on Apr 7, 2009

• Moved some Processes and Attributes to more specific types. Added a

  Show description for 61fa74d
  

  apease

  committed
  61fa74d

  Copy full SHA for 61fa74d

Commits on Feb 18, 2009

• Moved memberType and memberTypeCount to MILO

  

  apease

  committed
  a1929b8

  Copy full SHA for a1929b8

Commits on Oct 24, 2008

• Replaced the redundant TransportationSystem with TransitSystem.

  Show description for 99ec506
  

  apease

  committed
  99ec506

  Copy full SHA for 99ec506

Commits on May 12, 2008

• Changes required by the fixes for unit of measure and measured quantity inconsistencies in Merge.kif. Use the new representation.

  

  abu_banaat

  committed
  b1065e2

  Copy full SHA for b1065e2

Commits on Oct 26, 2007

• Made &%documentation a ternary relation throughout.

  

  apease

  committed
  1926264

  Copy full SHA for 1926264

Commits on Jun 30, 2007

• Removed semicolons in documentation strings and changed single semicolon

  Show description for 8a93e71
  

  apease

  committed
  8a93e71

  Copy full SHA for 8a93e71

Commits on May 23, 2007

• Removed redundant definitions for &%Truck

  

  apease

  committed
  7f87148

  Copy full SHA for 7f87148

Commits on Nov 26, 2006

• Fixed issue with mistaken use of &%Foot rather than &%FootLength. Moved

  Show description for ab1f598
  

  apease

  committed
  ab1f598

  Copy full SHA for ab1f598

Commits on Nov 17, 2006

• Moved definitions for &%subordinateInOrganization, &%subordinatePosition and

  Show description for 68e2752
  

  apease

  committed
  68e2752

  Copy full SHA for 68e2752

Commits on Aug 8, 2006

• Updated Watercraft to WaterVehicle throughout. Updated comment header.

  

  apease

  committed
  fe9f9eb

  Copy full SHA for fe9f9eb

Commits on May 24, 2006

• Corrected the definition of EmergencyRoadVehicle.

  

  apease

  committed
  701782b

  Copy full SHA for 701782b

Commits on Jan 17, 2006

• Changed a number of terms to be subclass of PoweredVehicle, instead of

  Show description for f329ee9
  

  apease

  committed
  f329ee9

  Copy full SHA for f329ee9

Commits on Jan 4, 2006

• Moved the notion of LandVehicle to SUMO.

  

  apease

  committed
  b2f6d3b

  Copy full SHA for b2f6d3b

Commits on Nov 1, 2005

• Added and updated information for many vehicles.

  

  apease

  committed
  0f7995a

  Copy full SHA for 0f7995a

Commits on Sep 8, 2005

• Many terms related to transportation moved here from Economy.kif. Fixed axiom for

  Show description for b790da3
  

  apease

  committed
  b790da3

  Copy full SHA for b790da3

Commits on Dec 17, 2004

• Revised section on RailVehicles. Moved basic motion and vehicle types

  Show description for b9125f6
  

  apease

  committed
  b9125f6

  Copy full SHA for b9125f6

Pagination

Previous

Next