ButterFat
|
|
appearance as argument number 1 |
(documentation ButterFat EnglishLanguage "ButterFat is the fatty portion of Milk.[Wikipedia]") | Food.kif 2932-2932 | |
(roomTempState ButterFat Solid) | Food.kif 2931-2931 | roomTempState ButterFat and Solid |
(subclass ButterFat Oil) | Food.kif 2930-2930 | ButterFat は Oil の subclass では %n |
appearance as argument number 2 |
(names "milk fat" ButterFat) | Food.kif 2934-2934 | ButterFat は "milk fat" の name を 持って %n{ない} |
(termFormat EnglishLanguage ButterFat "butter fat") | Food.kif 2933-2933 |
antecedent |
(=> (and (instance ?C Cream) (part ?C ?O1) (instance ?O1 ButterFat) (measure ?O1 (MeasureFn ?X Gram)) (instance ?M Milk) (part ?M ?O2) (instance ?O2 ButterFat) (measure ?O2 (MeasureFn ?Y Gram))) (greaterThan ?X ?Y)) |
Food.kif 3124-3136 | |
(=> (subclass ?BF ButterFat) (initialPart ?BF Milk)) |
Food.kif 2936-2938 |
consequent |