|
| (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 升 |
| (forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 13332-13335 | RealNumber 等於 測量 RealNumber and OunceMass and 測量 部 RealNumber and 16.0 and 磅質量 |
| (length (ShorelineFn SouthernOcean Antarctica) (MeasureFn 17968.0 (KiloFn Meter))) |
Geography.kif 4671-4674 | length 南部海洋 和 南極洲 的 shoreline and 測量 17968.0 and 千 儀表 |
| (lethalDose AbrinToxin (PerFn (MeasureFn 0.04 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram)))) |
WMD.kif 439-439 | 測量 1.0 and 千 公克 是 測量 0.04 and 微 公克 的 per 是 abrin毒素 的 lethal 劑量 |
| (lethalDose Batrachotoxin (PerFn (MeasureFn 2.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram)))) |
WMD.kif 310-310 | 測量 1.0 and 千 公克 是 測量 2.0 and 微 公克 的 per 是 batrachotoxin 的 lethal 劑量 |
| (lethalDose BotulinumToxin (PerFn (MeasureFn 0.001 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram)))) |
WMD.kif 325-325 | 測量 1.0 and 千 公克 是 測量 0.001 and 微 公克 的 per 是 肉毒桿菌毒素 的 lethal 劑量 |
| (lethalDose Diacetoxyscirpenol (PerFn (MeasureFn 23.0 (MilliFn Gram)) (MeasureFn 1.0 (KiloFn Gram)))) |
WMD.kif 1840-1840 | 測量 1.0 and 千 公克 是 測量 23.0 and 毫 公克 的 per 是 二乙酯scirpenol 的 lethal 劑量 |
| (lethalDose RicinToxin (PerFn (MeasureFn 3.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram)))) |
WMD.kif 431-431 | 測量 1.0 and 千 公克 是 測量 3.0 and 微 公克 的 per 是 蓖麻毒素 的 lethal 劑量 |
| (lethalDose Sarin (PerFn (MeasureFn 100.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram)))) |
WMD.kif 586-586 | 測量 1.0 and 千 公克 是 測量 100.0 and 微 公克 的 per 是 沙林 的 lethal 劑量 |
| (lethalDose ShigaToxin (PerFn (MeasureFn 0.002 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram)))) |
WMD.kif 1339-1339 | 測量 1.0 and 千 公克 是 測量 0.002 and 微 公克 的 per 是 志賀毒素 的 lethal 劑量 |
| (lethalDose Soman (PerFn (MeasureFn 64.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram)))) |
WMD.kif 582-582 | 測量 1.0 and 千 公克 是 測量 64.0 and 微 公克 的 per 是 梭曼 的 lethal 劑量 |
| (lethalDose StaphylococcalEnterotoxinB (PerFn (MeasureFn 0.02 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram)))) |
WMD.kif 1440-1440 | 測量 1.0 and 千 公克 是 測量 0.02 and 微 公克 的 per 是 葡萄球菌腸毒素b 的 lethal 劑量 |
| (lethalDose T2Toxin (PerFn (MeasureFn 5.2 (MilliFn Gram)) (MeasureFn 1.0 (KiloFn Gram)))) |
WMD.kif 1845-1845 | 測量 1.0 and 千 公克 是 測量 5.2 and 毫 公克 的 per 是 t2毒素 的 lethal 劑量 |
| (lethalDose VX (PerFn (MeasureFn 15.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram)))) |
WMD.kif 599-599 | 測量 1.0 and 千 公克 是 測量 15.0 and 微 公克 的 per 是 VX 的 lethal 劑量 |
| (meltingPoint Actinium (MeasureFn 1320.0 KelvinDegree)) |
Mid-level-ontology.kif 29345-29345 | 測量 1320.0 and 凱文度 是 錒 的 melting 點 |
| (meltingPoint Aluminum (MeasureFn 933.52 KelvinDegree)) |
Mid-level-ontology.kif 29193-29193 | 測量 933.52 and 凱文度 是 鋁 的 melting 點 |
| (meltingPoint Americium (MeasureFn 1267.0 KelvinDegree)) |
Mid-level-ontology.kif 29357-29357 | 測量 1267.0 and 凱文度 是 銤 的 melting 點 |
| (meltingPoint Antimony (MeasureFn 903.89 KelvinDegree)) |
Mid-level-ontology.kif 29269-29269 | 測量 903.89 and 凱文度 是 銻 的 melting 點 |
| (meltingPoint Argon (MeasureFn 83.78 KelvinDegree)) |
Mid-level-ontology.kif 29203-29203 | 測量 83.78 and 凱文度 是 氬 的 melting 點 |
| (meltingPoint Arsenic (MeasureFn 886.0 KelvinDegree)) |
Mid-level-ontology.kif 29233-29233 | 測量 886.0 and 凱文度 是 砷 的 melting 點 |
| (meltingPoint Astatine (MeasureFn 575.0 KelvinDegree)) |
Mid-level-ontology.kif 29337-29337 | 測量 575.0 and 凱文度 是 砹 的 melting 點 |
| (meltingPoint Barium (MeasureFn 998.0 KelvinDegree)) |
Mid-level-ontology.kif 29279-29279 | 測量 998.0 and 凱文度 是 鋇 的 melting 點 |
| (meltingPoint Berkelium (MeasureFn 1259.0 KelvinDegree)) |
Mid-level-ontology.kif 29361-29361 | 測量 1259.0 and 凱文度 是 锫 的 melting 點 |
| 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