|
|
   Coffee
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Coffee EnglishLanguage "A Beverage which is prepared by infusing ground, roasted coffee beans into water.") | Food.kif 632-633 | |
| (externalImage Coffee "http://articulatesoftware.com/SUMOpictures/plants/ BW/ coffee.png") | pictureList.kif 356-356 | |
| (initialPart Coffee CoffeeBean) | Food.kif 634-634 | %每个 咖啡 是 咖啡豆 的 initially part |
| (relatedInternalConcept Coffee CoffeeGrindAttribute) | Food.kif 630-630 | 咖啡 和 CoffeeGrindAttribute 是 内部相关 |
| (relatedInternalConcept Coffee CoffeeRoastAttribute) | Food.kif 631-631 | 咖啡 和 CoffeeRoastAttribute 是 内部相关 |
| (roomTempState Coffee Liquid) | Food.kif 629-629 | roomTempState 咖啡 and 液体 |
| (subclass Coffee Beverage) | Food.kif 628-628 | 咖啡 是 饮料 的 subclass |
| 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 1731-1746 |
|
| (=> (instance ?C Coffee) (attribute ?C CaffeinatedAttribute)) |
Food.kif 637-639 | |
| (=> (instance ?C Coffee) (material DrinkingWater ?C)) |
Food.kif 641-643 | |
| (=> (subclass ?CLASS Coffee) (initialPart CoffeeBean ?CLASS)) |
Food.kif 645-647 |
| consequent |
|
|
|
|
|
