| Ounce(ounce) | fluid_ounce, fluidounce |
| appearance as argument number 1 |
|
|
| (documentation Ounce ChineseLanguage "这是英制量度容量的单位,它等于1/8 Cup.") | chinese_format.kif 2598-2598 | |
| (documentation Ounce EnglishLanguage "English unit of volume equal to 1/ 8 of a Cup.") | Merge.kif 7314-7315 | |
| (documentation Ounce JapaneseLanguage "英国の容積単位は、Cup の1/8に相当する。") | japanese_format.kif 1309-1309 | |
| (instance Ounce UnitOfVolume) | Merge.kif 7312-7312 | Ounce is an instance of unit of volume |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Ounce "盎司") | domainEnglishFormat.kif 43657-43657 | |
| (termFormat ChineseTraditionalLanguage Ounce "盎司") | domainEnglishFormat.kif 43656-43656 | |
| (termFormat EnglishLanguage Ounce "ounce") | domainEnglishFormat.kif 43655-43655 |
| statement |
|
|
| (defaultMinimumMeasure Lemur (MeasureFn 1.0 Ounce)) |
Mid-level-ontology.kif 32390-32390 | The minimum expected value of lemur is 1.0 ounce(s) |
| (defaultMinimumMeasure Parrot (MeasureFn 0.4 Ounce)) |
Mid-level-ontology.kif 32370-32370 | The minimum expected value of parrot is 0.4 ounce(s) |
| (equal (MeasureFn ?NUMBER Ounce) (MeasureFn (DivisionFn ?NUMBER 8) Cup)) |
Merge.kif 7317-7319 | equal a real number ounce(s) and the real number and 8 cup(s) |
|
|