Liter
|
|
appearance as argument number 1 |
(documentation Liter ChineseLanguage "公制中的体积单位。 而它现在的定义等于一立方分米(0.001立方米)。 符号:l。") | chinese_format.kif 2511-2512 | |
(documentation Liter EnglishLanguage "Unit of volume in the metric system. It is currently defined to be equal to one cubic decimeter (0.001 cubic meter). Symbol: l.") | Merge.kif 6771-6773 | |
(documentation Liter JapaneseLanguage "メトリック システムの容積単位。現在、1立方デシメートル (0.001 立方メートル) に等しいと定義されている。シンボル: l。") | japanese_format.kif 1210-1211 | |
(instance Liter UnitOfVolume) | Merge.kif 6769-6769 | 例 升 and UnitOfVolume |
appearance as argument number 2 |
(termFormat ChineseLanguage Liter "升") | domainEnglishFormat.kif 34703-34703 | |
(termFormat ChineseTraditionalLanguage Liter "升") | domainEnglishFormat.kif 34702-34702 | |
(termFormat EnglishLanguage Liter "liter") | domainEnglishFormat.kif 34701-34701 |
antecedent |
consequent |
statement |
(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 UnitedStatesGallon) (MeasureFn (MultiplicationFn ?NUMBER 3.785411784) Liter)) |
Merge.kif 7212-7214 | 等於 測量 RealNumber and 美國加侖 and 測量 乘法 RealNumber and 3.785411784 and 升 |