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 6766-6768 | |
(documentation Liter JapaneseLanguage "メトリック システムの容積単位。現在、1立方デシメートル (0.001 立方メートル) に等しいと定義されている。シンボル: l。") | japanese_format.kif 1210-1211 | |
(instance Liter UnitOfVolume) | Merge.kif 6764-6764 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Liter "升") | domainEnglishFormat.kif 34732-34732 | |
(termFormat ChineseTraditionalLanguage Liter "升") | domainEnglishFormat.kif 34731-34731 | |
(termFormat EnglishLanguage Liter "liter") | domainEnglishFormat.kif 34730-34730 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn ?NUMBER UnitedKingdomGallon) (MeasureFn (MultiplicationFn ?NUMBER 4.54609) Liter)) |
Merge.kif 7271-7273 | |
(equal (MeasureFn ?NUMBER UnitedStatesGallon) (MeasureFn (MultiplicationFn ?NUMBER 3.785411784) Liter)) |
Merge.kif 7226-7228 |
![]() |
![]() |