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 奶油 and 固體 |
(subclass Butter DairyArtifact) | Food.kif 3096-3096 | 子類 奶油 and 乳製品 |
(subclass Butter Emulsion) | Food.kif 3097-3097 | 子類 奶油 and 乳膠 |
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 |