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 固體 |
(subclass ButterFat Oil) | Food.kif 2930-2930 | 子類 ButterFat and 油 |
appearance as argument number 2 |
(names "milk fat" ButterFat) | Food.kif 2934-2934 | 名 "milk fat" and ButterFat |
(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 |