MeasureFn |
![]() |
(earthAltitude OzoneShield (MeasureFn 25.0 Mile)) |
Geography.kif 2793-2793 | 臭氧盾 是 測量 25.0 and 英里 above 地表 |
(effectiveDose StaphylococcalEnterotoxinB (PerFn (MeasureFn 0.0004 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram)))) |
WMD.kif 1439-1439 | 測量 1.0 and 千 公克 是 測量 0.0004 and 微 公克 的 per 是 葡萄球菌腸毒素b 的 effective 劑量 |
(elevation (ElevationHighPointFn SouthernOcean) (MeasureFn 0.0 Meter)) |
Geography.kif 4683-4685 | 測量 0.0 and 儀表 是 南部海洋 的 elevation 高點 的 elevation |
(elevation (ElevationLowPointFn SouthernOcean) (MeasureFn -7235.0 Meter)) |
Geography.kif 4687-4689 | 測量 -7235.0 and 儀表 是 南部海洋 的 elevation 低點 的 elevation |
(elevation SeaLevel (MeasureFn 0.0 Meter)) |
Geography.kif 4827-4828 | 測量 0.0 and 儀表 是 海平面 的 elevation |
(equal (MeasureFn 1 KilowattHour) (MeasureFn 3.6 (MegaFn Joule))) |
Economy.kif 2008-2008 | 等於 測量 1 and 千瓦時 and 測量 3.6 and 兆 焦耳 |
(equal (MeasureFn 1 KilowattHour) (MeasureFn 3600000.0 Joule)) |
Economy.kif 2009-2009 | 等於 測量 1 and 千瓦時 and 測量 3600000.0 and 焦耳 |
(equal (MeasureFn 1 WeekDuration) (MeasureFn 7 DayDuration)) |
Merge.kif 7112-7114 | 等於 測量 1 and 週持續時間 and 測量 7 and 一天長度 |
(equal (MeasureFn 1 YearDuration) (MeasureFn 365 DayDuration)) |
Merge.kif 7139-7141 | 等於 測量 1 and 年持續時間 and 測量 365 and 一天長度 |
(equal (MeasureFn 1.0 AngularDegree) (MeasureFn 60.0 ArcMinute)) |
Geography.kif 382-382 | 等於 測量 1.0 and 圓周角度 and 測量 60.0 and 弧分 |
(equal (MeasureFn 1.0 ArcMinute) (MeasureFn 60.0 ArcSecond)) |
Geography.kif 401-401 | 等於 測量 1.0 and 弧分 and 測量 60.0 and 弧秒 |
(equal (MeasureFn 1.0 Fathom) (MeasureFn 6.0 FootLength)) |
Geography.kif 3842-3842 | 等於 測量 1.0 and 推測 and 測量 6.0 and 腳長 |
(equal (MeasureFn 1.0 MetricTon) (MeasureFn 2205.0 PoundMass)) |
Mid-level-ontology.kif 13600-13602 | 等於 測量 1.0 and 公噸 and 測量 2205.0 and 磅質量 |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 1852.0 Meter)) |
Geography.kif 3865-3867 | 等於 測量 1.0 and 海裡 and 測量 1852.0 and 儀表 |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 6076.1 FootLength)) |
Geography.kif 3861-3863 | 等於 測量 1.0 and 海裡 and 測量 6076.1 and 腳長 |
(equal (MeasureFn 1.0 SquareMile) (PerFn (MeasureFn 1.0 Mile) (MeasureFn 1.0 Mile))) |
Mid-level-ontology.kif 13695-13699 | 等於 測量 1.0 and 平方英里 and 測量 1.0 and 英里 是 測量 1.0 and 英里 的 per |
(equal (MeasureFn 1.0 SquareYard) (PerFn (MeasureFn 1.0 YardLength) (MeasureFn 1.0 YardLength))) |
Mid-level-ontology.kif 13705-13709 | 等於 測量 1.0 and 方碼 and 測量 1.0 and 院子長度 是 測量 1.0 and 院子長度 的 per |
(equal (MeasureFn ?DEG ArcMinute) (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond)) |
Geography.kif 402-402 | 等於 測量 RealNumber and 弧分 and 測量 乘法 60.0 and RealNumber and 弧秒 |
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute)) |
Geography.kif 383-383 | 等於 測量 RealNumber and 圓周角度 and 測量 乘法 60.0 and RealNumber and 弧分 |
(equal (MeasureFn ?NUMBER Amu) (MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-24) Gram)) |
Merge.kif 7151-7153 | 等於 測量 RealNumber and amu and 測量 乘法 RealNumber and 1.6605402E-24 and 公克 |
(equal (MeasureFn ?NUMBER Angstrom) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-10) Meter)) |
Merge.kif 7173-7175 | 等於 測量 RealNumber and 埃 and 測量 乘法 RealNumber and 1.0E-10 and 儀表 |
(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7367-7369 | 等於 測量 RealNumber and 圓周角度 and 測量 乘法 RealNumber and 部 Pi and 180.0 and 弧度 |
(equal (MeasureFn ?NUMBER BritishThermalUnit) (MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule)) |
Merge.kif 7353-7355 | 等於 測量 RealNumber and 英國熱量單位 and 測量 乘法 RealNumber and 1055.05585262 and 焦耳 |
(equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit)) |
Merge.kif 7425-7427 | 等於 測量 RealNumber and 字節 and 測量 乘法 RealNumber and 8 and 位元 |
(equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule)) |
Merge.kif 7345-7347 | 等於 測量 RealNumber and 卡路里 and 測量 乘法 RealNumber and 4.1868 and 焦耳 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |