|
| (equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter)) |
Merge.kif 7244-7246 | equal 实数 英里 and 那个 实数 和 1609.344 仪表 |
| (equal (MeasureFn ?NUMBER Millimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Meter)) |
Merge.kif 6814-6817 | equal 实数 毫米 and 那个 实数 和 0.001 仪表 |
| (equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration)) |
Merge.kif 7128-7130 | equal 实数 分钟 and 那个 实数 和 60 第二期 |
| (equal (MeasureFn ?NUMBER Ounce) (MeasureFn (DivisionFn ?NUMBER 8) Cup)) |
Merge.kif 7292-7294 | equal 实数 盎司 and 那个 实数 和 8 杯子 |
| (equal (MeasureFn ?NUMBER Pint) (MeasureFn (DivisionFn ?NUMBER 2) Quart)) |
Merge.kif 7274-7276 | equal 实数 品脱 and 那个 实数 和 2 夸脱 |
| (equal (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton)) |
Merge.kif 7379-7381 | equal 实数 磅力 and 那个 实数 和 4.448222 牛顿 |
| (equal (MeasureFn ?NUMBER PoundMass) (MeasureFn (MultiplicationFn ?NUMBER 453.59237) Gram)) |
Merge.kif 7340-7342 | equal 实数 磅质量 and 那个 实数 和 453.59237 公克 |
| (equal (MeasureFn ?NUMBER Quart) (MeasureFn (DivisionFn ?NUMBER 4) UnitedStatesGallon)) |
Merge.kif 7265-7267 | equal 实数 夸脱 and 那个 实数 和 4 美国加仑 |
| (equal (MeasureFn ?NUMBER RankineDegree) (MeasureFn (MultiplicationFn ?NUMBER 1.8) KelvinDegree)) |
Merge.kif 7360-7362 | equal 实数 兰金度 and 那个 实数 和 1.8 凯文度 |
| (equal (MeasureFn ?NUMBER Slug) (MeasureFn (MultiplicationFn ?NUMBER 14593.90) Gram)) |
Merge.kif 7348-7350 | equal 实数 金属块 and 那个 实数 和 14593.90 公克 |
| (equal (MeasureFn ?NUMBER UnitedKingdomGallon) (MeasureFn (MultiplicationFn ?NUMBER 4.54609) Liter)) |
Merge.kif 7301-7303 | equal 实数 英国加仑 and 那个 实数 和 4.54609 升 |
| (equal (MeasureFn ?NUMBER UnitedStatesCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar)) |
Merge.kif 7435-7437 | equal 实数 美国分 and 那个 实数 和 0.01 美国美元 |
| (equal (MeasureFn ?NUMBER UnitedStatesGallon) (MeasureFn (MultiplicationFn ?NUMBER 3.785411784) Liter)) |
Merge.kif 7256-7258 | equal 实数 美国加仑 and 那个 实数 和 3.785411784 升 |
| (equal (OrganismPopulationFn ?O ?AREA) (CardinalityFn (KappaFn ?OI (and (instance ?OI ?O) (located ?OI ?AREA))))) |
Mid-level-ontology.kif 33681-33686 | equal OrganismPopulationFn 生物 and 地理区域 and 那个 生物I 所描述的类别 instance 的数量 |
| (equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA))))) |
Mid-level-ontology.kif 33658-33663 | equal 地缘政治区域 的 population and 符号串 所描述的类别 instance 的数量 |
| (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 1001-1014 | equal 地缘政治区域 和 年 每年的 reaching 军事男性年龄 and 符号串 所描述的类别 instance 的数量 |
| (equal 1 (MohsScaleFn Talc)) |
Mid-level-ontology.kif 10454-10454 | equal 1 and MohsScaleFn 滑石 |
| (equal 1.5 (MohsScaleFn LeadOre)) |
Mid-level-ontology.kif 10453-10453 | equal 1.5 and MohsScaleFn 铅矿 |
| (equal 10 (MohsScaleFn Diamond)) |
Mid-level-ontology.kif 10448-10448 | equal 10 and MohsScaleFn 钻石 |
| (equal 2.5 (MohsScaleFn ZincOre)) |
Mid-level-ontology.kif 10452-10452 | equal 2.5 and MohsScaleFn 锌矿石 |
| (equal 3 (MohsScaleFn Brass)) |
Mid-level-ontology.kif 10451-10451 | equal 3 and MohsScaleFn 黄铜 |
| (equal 4 (MohsScaleFn IronOre)) |
Mid-level-ontology.kif 10450-10450 | equal 4 and MohsScaleFn 铁矿 |
| (equal 5.5 (MohsScaleFn Glass)) |
Mid-level-ontology.kif 10449-10449 | equal 5.5 and MohsScaleFn 玻璃 |
| (equal AccountCreationRejected (FailureFn CreatingAnAccount)) |
ComputingBrands.kif 4529-4529 | equal AccountCreationRejected and FailureFn CreatingAnAccount |
| (equal AmericanState (GeographicPartTypeFn StateOrProvince UnitedStates)) |
Geography.kif 7313-7313 | equal 美国国家 and 州或省 所有的 instances 在 美国 |
| 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