| 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 7219-7220 | |
| (documentation Quart JapaneseLanguage "英語のボリューム単位は UnitedStatesGallon の1/ 4に 等しい。") | japanese_format.kif 1305-1306 | |
| (instance Quart UnitOfVolume) | Merge.kif 7217-7217 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Quart "夸脱") | domainEnglishFormat.kif 48329-48329 | |
| (termFormat ChineseTraditionalLanguage Quart "夸脫") | domainEnglishFormat.kif 48328-48328 | |
| (termFormat EnglishLanguage Quart "quart") | domainEnglishFormat.kif 48327-48327 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER Pint) (MeasureFn (DivisionFn ?NUMBER 2) Quart)) |
Merge.kif 7231-7233 | |
| (equal (MeasureFn ?NUMBER Quart) (MeasureFn (DivisionFn ?NUMBER 4) UnitedStatesGallon)) |
Merge.kif 7222-7224 |
|
|
|