| Quart(quart) | | dry_quart, 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 | Quart is an instance of unit of volume |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Quart "夸脱") | domainEnglishFormat.kif 48298-48298 | |
| (termFormat ChineseTraditionalLanguage Quart "夸脫") | domainEnglishFormat.kif 48297-48297 | |
| (termFormat EnglishLanguage Quart "quart") | domainEnglishFormat.kif 48296-48296 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER Pint) (MeasureFn (DivisionFn ?NUMBER 2) Quart)) |
Merge.kif 7231-7233 | A real number pint(s) is equal to the real number and 2 quart(s) |
| (equal (MeasureFn ?NUMBER Quart) (MeasureFn (DivisionFn ?NUMBER 4) UnitedStatesGallon)) |
Merge.kif 7222-7224 | A real number quart(s) is equal to the real number and 4 united states gallon(s) |
|
|
|