Quart
|
|
appearance as argument number 1 |
(documentation Quart ChineseLanguage "这是英制量度容量的单位,它等于1/4 UnitedStatesGallon。") | chinese_format.kif 2595-2595 | |
(documentation Quart EnglishLanguage "English unit of volume equal to 1/ 4 of a UnitedStatesGallon.") | Merge.kif 7218-7219 | |
(documentation Quart JapaneseLanguage "英語のボリューム単位は UnitedStatesGallon の1/ 4に 等しい。") | japanese_format.kif 1305-1306 | |
(instance Quart UnitOfVolume) | Merge.kif 7216-7216 | Quart ist ein fall von UnitOfVolume %n{nicht} |
appearance as argument number 2 |
(termFormat ChineseLanguage Quart "夸脱") | domainEnglishFormat.kif 48296-48296 | |
(termFormat ChineseTraditionalLanguage Quart "夸脫") | domainEnglishFormat.kif 48295-48295 | |
(termFormat EnglishLanguage Quart "quart") | domainEnglishFormat.kif 48294-48294 |
statement |
(equal (MeasureFn ?NUMBER Pint) (MeasureFn (DivisionFn ?NUMBER 2) Quart)) |
Merge.kif 7230-7232 | RealNumber Pint(s) ist gleich ** RealNumber und 2 Quart(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Quart) (MeasureFn (DivisionFn ?NUMBER 4) UnitedStatesGallon)) |
Merge.kif 7221-7223 | RealNumber Quart(s) ist gleich ** RealNumber und 4 UnitedStatesGallon(s) %n{nicht} |