Ounce
|
|
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 7246-7247 | |
(documentation Ounce JapaneseLanguage "英国の容積単位は、Cup の1/8に相当する。") | japanese_format.kif 1309-1309 | |
(instance Ounce UnitOfVolume) | Merge.kif 7244-7244 | Ounce ist ein fall von UnitOfVolume %n{nicht} |
appearance as argument number 2 |
(termFormat ChineseLanguage Ounce "盎司") | domainEnglishFormat.kif 43658-43658 | |
(termFormat ChineseTraditionalLanguage Ounce "盎司") | domainEnglishFormat.kif 43657-43657 | |
(termFormat EnglishLanguage Ounce "ounce") | domainEnglishFormat.kif 43656-43656 |
statement |
(defaultMinimumMeasure Lemur (MeasureFn 1.0 Ounce)) |
Mid-level-ontology.kif 30494-30494 | defaultMinimumMeasure Lemur and 1.0 Ounce(s) |
(defaultMinimumMeasure Parrot (MeasureFn 0.4 Ounce)) |
Mid-level-ontology.kif 30474-30474 | defaultMinimumMeasure Parrot and 0.4 Ounce(s) |
(equal (MeasureFn ?NUMBER Ounce) (MeasureFn (DivisionFn ?NUMBER 8) Cup)) |
Merge.kif 7249-7251 | RealNumber Ounce(s) ist gleich ** RealNumber und 8 Cup(s) %n{nicht} |