| Butter
| |
| appearance as argument number 1 |
|
|
| (documentation Butter EnglishLanguage "An emulsion of fat which is produced by churning Milk.") | Food.kif 3106-3106 | |
| (externalImage Butter "http://articulatesoftware.com/SUMOpictures/food/dairy/ butter_3.png") | pictureList.kif 307-307 | |
| (roomTempState Butter Solid) | Food.kif 3105-3105 | |
| (subclass Butter DairyArtifact) | Food.kif 3103-3103 | |
| (subclass Butter Emulsion) | Food.kif 3104-3104 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Butter "黄油") | domainEnglishFormat.kif 12520-12520 | |
| (termFormat ChineseTraditionalLanguage Butter "奶油") | domainEnglishFormat.kif 12519-12519 | |
| (termFormat EnglishLanguage Butter "butter") | domainEnglishFormat.kif 12518-12518 |
| 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 1737-1752 | |
| (=> (instance ?B Butter) (exists (?C) (and (instance ?C ChurningButter) (result ?C ?B)))) |
Food.kif 3108-3113 |
| consequent |
|
|
| (=> (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 3083-3101 | |
| (=> (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 3072-3081 |
|
|
|