Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Butter
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Butter DairyArtifact) | Food.kif 3125-3125 | Butter is a subclass of dairy product |
| (subclass Butter Emulsion) | Food.kif 3126-3126 | Butter is a subclass of emulsion |
| (roomTempState Butter Solid) | Food.kif 3127-3127 | room temperature state butter and solid |
| (documentation Butter EnglishLanguage "An emulsion of fat which is produced by churning Milk.") | Food.kif 3128-3128 | room temperature state butter and solid |
| (externalImage Butter "http://articulatesoftware.com/SUMOpictures/food/dairy/ butter_3.png") | pictureList.kif 307-307 | room temperature state butter and solid |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?M Meal) (member ?H ?M) (or (instance ?H Coffee) (instance ?H Tea)) (member ?J ?M) (instance ?J Juice) (member ?B ?M) (instance ?B BreadOrBiscuit) (member ?B ?M) (instance ?B Butter) (member ?JA ?M) (instance ?JA Jam)) (attribute ?M ContinentalBreakfast)) |
Food.kif 1744-1759 | If All of the following hold: (1) X is an instance of meal (2) Y is a member of X (3) Y is an instance of coffee or Y is an instance of tea (4) Z is a member of X (5) Z is an instance of juice (6) W is a member of X (7) W is an instance of bread or biscuit (8) W is a member of X (9) W is an instance of butter (10) V is a member of X (11) V is an instance of jam, then continental breakfast is an attribute of X |
| (=> (instance ?B Butter) (exists (?C) (and (instance ?C ChurningButter) (result ?C ?B)))) |
Food.kif 3130-3135 | 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 |
| consequent |
|
|
| (=> (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 |
|
