(equal     (MeasureFn ?NUMBER Quart)     (MeasureFn         (DivisionFn ?NUMBER 4) UnitedStatesGallon))	Merge.kif 7221-7223	等於 測量 RealNumber and 夸脫 and 測量 部 RealNumber and 4 and 美國加侖
(equal     (MeasureFn ?NUMBER RankineDegree)     (MeasureFn         (MultiplicationFn ?NUMBER 1.8) KelvinDegree))	Merge.kif 7316-7318	等於 測量 RealNumber and 蘭金度 and 測量 乘法 RealNumber and 1.8 and 凱文度
(equal     (MeasureFn ?NUMBER Slug)     (MeasureFn         (MultiplicationFn ?NUMBER 14593.90) Gram))	Merge.kif 7304-7306	等於 測量 RealNumber and 金屬塊 and 測量 乘法 RealNumber and 14593.90 and 公克
(equal     (MeasureFn ?NUMBER UnitedKingdomGallon)     (MeasureFn         (MultiplicationFn ?NUMBER 4.54609) Liter))	Merge.kif 7257-7259	等於 測量 RealNumber and 英國加侖 and 測量 乘法 RealNumber and 4.54609 and 升
(equal     (MeasureFn ?NUMBER UnitedStatesCent)     (MeasureFn         (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar))	Merge.kif 7391-7393	等於 測量 RealNumber and 美國分 and 測量 乘法 RealNumber and 0.01 and 美國美元
(equal     (MeasureFn ?NUMBER UnitedStatesGallon)     (MeasureFn         (MultiplicationFn ?NUMBER 3.785411784) Liter))	Merge.kif 7212-7214	等於 測量 RealNumber and 美國加侖 and 測量 乘法 RealNumber and 3.785411784 and 升
(equal     (OrganismPopulationFn ?O ?AREA)     (CardinalityFn         (KappaFn ?OI             (and                 (instance ?OI ?O)                 (located ?OI ?AREA)))))	Mid-level-ontology.kif 31730-31735	等於 OrganismPopulationFn Organism and GeographicArea and 基數 卡帕 OrganismI and 例 OrganismI and Organism 位於 OrganismI and GeographicArea
(equal     (PopulationFn ?AREA)     (CardinalityFn         (KappaFn ?PERSON             (and                 (instance ?PERSON Human)                 (inhabits ?PERSON ?AREA)))))	Mid-level-ontology.kif 31708-31713	等於 GeopoliticalArea 的 population and 基數 卡帕 SymbolicString and 例 SymbolicString and Human 棲息 SymbolicString and GeopoliticalArea
(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	等於 GeopoliticalArea 和 年 每年的 reaching 軍事男性年齡 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀 等於 entity and 減法 entity and 1 持有期間 年 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity 等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(equal AccountCreationRejected     (FailureFn CreatingAnAccount))	ComputingBrands.kif 4534-4534	等於 AccountCreationRejected and FailureFn CreatingAnAccount
(equal AmericanState     (GeographicPartTypeFn StateOrProvince UnitedStates))	Geography.kif 6976-6976	等於 美國國家 and StateOrProvince 所有的 instances 在 美國
(equal AppleOrchard     (FarmOfProductFn Apple))	Food.kif 3681-3681	等於 AppleOrchard and 蘋果 在 的 farm
(equal Blood     (FoodForFn Mosquito))	Mid-level-ontology.kif 12636-12636	等於 Blood and food for Mosquito
(equal BrainDead     (DeadOrMissingBodyPartFn Brain))	Medicine.kif 5188-5188	等於 BrainDead and DeadOrMissingBodyPartFn 腦
(equal FallSeason     (RecurrentTimeIntervalFn September November))	Geography.kif 1666-1666	等於 秋季 and 經常性時間間隔 September and November
(equal Food     (FoodForFn Human))	Merge.kif 14895-14895	等於 Food and food for Human
(equal Glove     (CoveringFn Hand))	Cars.kif 4751-4751	等於 手套 and 對於 手 的 covering
(equal Pericarditis     (InflammationFn Pericardium))	Mid-level-ontology.kif 11410-11410	等於 Pericarditis and InflammationFn Pericardium
(equal SpringSeason     (RecurrentTimeIntervalFn March May))	Geography.kif 1664-1664	等於 春暖花開的季節 and 經常性時間間隔 March and May
(equal SquareKilometer     (SquareUnitFn         (KiloFn Meter)))	Geography.kif 3973-3973	等於 平方千米 and 千 儀表 的 square 單位
(equal SquareMeter     (SquareUnitFn Meter))	Geography.kif 3972-3972	等於 平方米 and 儀表 的 square 單位
(equal SummerSeason     (RecurrentTimeIntervalFn June August))	Geography.kif 1665-1665	等於 夏季 and 經常性時間間隔 June and August
(equal UnixEpoch     (SecondFn 0         (MinuteFn 0             (HourFn 0                 (DayFn 1                     (MonthFn January                         (YearFn 1970)))))))	QoSontology.kif 2143-2143	等於 unix時代 and 第二 0 and 分 0 and 小時 0 and 天 1 and 月 January and 年 1970
(equal Vineyard     (FarmOfProductFn WineGrape))	Food.kif 3685-3685	等於 Vineyard and 釀酒葡萄 在 的 farm
(equal WinterSeason     (RecurrentTimeIntervalFn December February))	Geography.kif 1667-1667	等於 冬季 and 經常性時間間隔 December and February
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