Butter
|
|
appearance as argument number 1 |
(documentation Butter EnglishLanguage "An emulsion of fat which is produced by churning Milk.") | Food.kif 3099-3099 | |
(externalImage Butter "http://articulatesoftware.com/SUMOpictures/food/dairy/ butter_3.png") | pictureList.kif 307-307 | |
(roomTempState Butter Solid) | Food.kif 3098-3098 | roomTempState Butter and Solid |
(subclass Butter DairyArtifact) | Food.kif 3096-3096 | Butter は DairyArtifact の subclass では %n |
(subclass Butter Emulsion) | Food.kif 3097-3097 | Butter は Emulsion の subclass では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage Butter "黄油") | domainEnglishFormat.kif 12511-12511 | |
(termFormat ChineseTraditionalLanguage Butter "奶油") | domainEnglishFormat.kif 12510-12510 | |
(termFormat EnglishLanguage Butter "butter") | domainEnglishFormat.kif 12509-12509 |
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 1731-1746 |
|
(=> (instance ?B Butter) (exists (?C) (and (instance ?C ChurningButter) (result ?C ?B)))) |
Food.kif 3101-3106 |
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 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 |