ChurningButter - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ChurningButter Rotating)	Food.kif 3089-3089	Churning butter is a subclass of rotating
(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 3090-3091	Churning butter is a subclass of rotating

appearance as argument number 2

antecedent

(=> (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 3094-3103	If X is an instance of churning butter, then X has the purpose there exist Y, Z, W such that Y is an instance of milk, Z is an instance of rotating, Y is a patient of Z, W is a result of Z, and W is an instance of butter
(=> (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 3105-3123	If X is an instance of churning butter, Y is an instance of emulsion, and Y is a patient of X, then All of the following hold: (1) there exist Z (2) W such that equal Y (3) Z (4) Z is an instance of milk holds during the beginning of the time of existence of X (5) equal Y (6) W (7) W is an instance of butter holds during the end of the time of existence of X

consequent

(=>
    (instance ?B Butter)
    (exists (?C)
        (and
            (instance ?C ChurningButter)
            (result ?C ?B))))

If X is an instance of butter, then there exists Y such that Y is an instance of churning butter and X is a result of Y