|
|
   ChurningButter
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ChurningButter EnglishLanguage "ChurningButter is a Rotating Motion applied to Milk with the purpose to separate the fat in the milk to make Butter.") | Food.kif 3061-3062 | |
| (subclass ChurningButter Rotating) | Food.kif 3060-3060 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ChurningButter "churning butter") | Food.kif 3063-3063 |
| antecedent |
|
|
| (=> (and (instance ?C ChurningButter) (instance ?E Emulsion) (patient ?C ?E)) (exists (?M ?B) (and (holdsDuring (BeginFn (WhenFn ?C)) (and (equal ?E ?M) (instance ?M Milk))) (holdsDuring (EndFn (WhenFn ?C)) (and (equal ?E ?B) (instance ?B Butter)))))) |
Food.kif 3076-3094 | |
| (=> (instance ?C ChurningButter) (hasPurpose ?C (exists (?M ?R ?B) (and (instance ?M Milk) (instance ?R Rotating) (patient ?R ?M) (result ?R ?B) (instance ?B Butter))))) |
Food.kif 3065-3074 |
| consequent |
|
|
| (=> (instance ?B Butter) (exists (?C) (and (instance ?C ChurningButter) (result ?C ?B)))) |
Food.kif 3101-3106 |
|
|
|