Commits

Branch selector

 master

User selector

jefft0

Datepicker

All time

Commit History

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 Jul 12, 2016

• english_format, etc.: Remove format for historical "holds".

  jefft0

  committed
  ad85730

  Copy full SHA for ad85730

• Move conventionalShortName, conventionalLongName and abbreviation from Government to Mid-level-ontology.

  jefft0

  committed
  57490d2

  Copy full SHA for 57490d2

Commits on Jun 19, 2016

• FinancialOntology.kif: Change ExerciseAnOption to subclass FinancialTransaction, not instance.

  jefft0

  committed
  4f656c2

  Copy full SHA for 4f656c2

• Sports.kif: Change BaseballStrike to subclass BaseballManeuver, not instance

  jefft0

  committed
  cca0f6a

  Copy full SHA for cca0f6a

• Economy.kif: Change FossilFuelPowerGeneration, etc. to subclass PowerGeneration, not instance.

  jefft0

  committed
  a407455

  Copy full SHA for a407455

• emotion.kif: Fix typo experiencers->experiencer

  jefft0

  committed
  085a63b

  Copy full SHA for 085a63b

• emotion.kif: Fix typo "termFormant"

  jefft0

  committed
  408a6c2

  Copy full SHA for 408a6c2

Commits on May 28, 2016

• Government: Added missing members of the EuropeanMonetaryUnion.

  jefft0

  committed
  869fb6e

  Copy full SHA for 869fb6e

• Merge remote-tracking branch 'refs/remotes/ontologyportal/master'

  jefft0

  committed
  d2375be

  Copy full SHA for d2375be

Commits on May 22, 2016

• Make currencyType a SingleValuedRelation.

  jefft0

  committed
  c062108

  Copy full SHA for c062108

Commits on May 8, 2016

• Changed the currencyType to EuroDollar for the 19 Eurozone members.

  jefft0

  committed
  175232e

  Copy full SHA for 175232e

• Revert the changes to EuroDollar. Will do it in a separate branch.

  jefft0

  committed
  011abc9

  Copy full SHA for 011abc9

• Changed the currencyType to EuroDollar for the 19 Eurozone members.

  jefft0

  committed
  82b1ac0

  Copy full SHA for 82b1ac0

• Fix reversed arguments in format EnglishLanguage geographicSubregion.

  jefft0

  committed
  6745e91

  Copy full SHA for 6745e91