ButterFat(butter fat) |
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 butter fat and solid |
(subclass ButterFat Oil) | Food.kif 2930-2930 | Butter fat is a subclass of oil |
appearance as argument number 2 |
(names "milk fat" ButterFat) | Food.kif 2934-2934 | Butter fat has name "milk fat" |
(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 |