(equal     (MeasureFn ?NUMBER Quart)     (MeasureFn         (DivisionFn ?NUMBER 4) UnitedStatesGallon))	Merge.kif 7221-7223
(equal     (MeasureFn ?NUMBER RankineDegree)     (MeasureFn         (MultiplicationFn ?NUMBER 1.8) KelvinDegree))	Merge.kif 7316-7318
(equal     (MeasureFn ?NUMBER Slug)     (MeasureFn         (MultiplicationFn ?NUMBER 14593.90) Gram))	Merge.kif 7304-7306
(equal     (MeasureFn ?NUMBER UnitedKingdomGallon)     (MeasureFn         (MultiplicationFn ?NUMBER 4.54609) Liter))	Merge.kif 7257-7259
(equal     (MeasureFn ?NUMBER UnitedStatesCent)     (MeasureFn         (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar))	Merge.kif 7391-7393
(equal     (MeasureFn ?NUMBER UnitedStatesGallon)     (MeasureFn         (MultiplicationFn ?NUMBER 3.785411784) Liter))	Merge.kif 7212-7214
(equal     (OrganismPopulationFn ?O ?AREA)     (CardinalityFn         (KappaFn ?OI             (and                 (instance ?OI ?O)                 (located ?OI ?AREA)))))	Mid-level-ontology.kif 31730-31735
(equal     (PopulationFn ?AREA)     (CardinalityFn         (KappaFn ?PERSON             (and                 (instance ?PERSON Human)                 (inhabits ?PERSON ?AREA)))))	Mid-level-ontology.kif 31708-31713
(equal     (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR)     (CardinalityFn         (KappaFn ?PERSON             (and                 (instance ?PERSON Human)                 (attribute ?PERSON Male)                 (militaryAge ?AREA ?MILITARYAGE)                 (equal ?AGEMINUSONE                     (SubtractionFn ?AGE 1))                 (holdsDuring ?YEAR                     (or                         (age ?PERSON ?AGEMINUSONE)                         (age ?PERSON ?AGE)))                 (equal ?AGE ?MILITARYAGE)                 (inhabits ?PERSON ?AREA)))))	Military.kif 933-946
(equal AccountCreationRejected     (FailureFn CreatingAnAccount))	ComputingBrands.kif 4534-4534
(equal AmericanState     (GeographicPartTypeFn StateOrProvince UnitedStates))	Geography.kif 6976-6976
(equal AppleOrchard     (FarmOfProductFn Apple))	Food.kif 3681-3681
(equal Blood     (FoodForFn Mosquito))	Mid-level-ontology.kif 12636-12636
(equal BrainDead     (DeadOrMissingBodyPartFn Brain))	Medicine.kif 5188-5188
(equal FallSeason     (RecurrentTimeIntervalFn September November))	Geography.kif 1666-1666
(equal Food     (FoodForFn Human))	Merge.kif 14895-14895
(equal Glove     (CoveringFn Hand))	Cars.kif 4751-4751
(equal Pericarditis     (InflammationFn Pericardium))	Mid-level-ontology.kif 11410-11410
(equal SpringSeason     (RecurrentTimeIntervalFn March May))	Geography.kif 1664-1664
(equal SquareKilometer     (SquareUnitFn         (KiloFn Meter)))	Geography.kif 3973-3973
(equal SquareMeter     (SquareUnitFn Meter))	Geography.kif 3972-3972
(equal SummerSeason     (RecurrentTimeIntervalFn June August))	Geography.kif 1665-1665
(equal UnixEpoch     (SecondFn 0         (MinuteFn 0             (HourFn 0                 (DayFn 1                     (MonthFn January                         (YearFn 1970)))))))	QoSontology.kif 2143-2143
(equal Vineyard     (FarmOfProductFn WineGrape))	Food.kif 3685-3685
(equal WinterSeason     (RecurrentTimeIntervalFn December February))	Geography.kif 1667-1667
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners