| 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 | |
| (relatedInternalConcept Coffee CoffeeGrindAttribute) | Food.kif 630-630 | |
| (relatedInternalConcept Coffee CoffeeRoastAttribute) | Food.kif 631-631 | |
| (roomTempState Coffee Liquid) | Food.kif 629-629 | |
| (subclass Coffee Beverage) | Food.kif 628-628 |
| appearance as argument number 2 |
|
|
| (subclass Americano Coffee) | Food.kif 1303-1303 | |
| (subclass Cappuccino Coffee) | Food.kif 1264-1264 | |
| (subclass Espresso Coffee) | Food.kif 739-739 | |
| (subclass FlatWhite Coffee) | Food.kif 1334-1334 | |
| (subclass Instant Coffee) | Food.kif 1455-1455 | |
| (subclass Latte Coffee) | Food.kif 1387-1387 | |
| (subclass LongBlack Coffee) | Food.kif 1417-1417 | |
| (subclass Lungo Coffee) | Food.kif 764-764 | |
| (subclass Manilo Coffee) | Food.kif 1454-1454 | |
| (subclass TurkishCoffee Coffee) | Food.kif 1453-1453 | |
| (subclass VietnameseCoffee Coffee) | Food.kif 1452-1452 | |
| (termFormat ChineseLanguage Coffee "咖啡") | domainEnglishFormat.kif 15499-15499 | |
| (termFormat ChineseTraditionalLanguage Coffee "咖啡") | domainEnglishFormat.kif 15498-15498 | |
| (termFormat EnglishLanguage Coffee "coffee") | domainEnglishFormat.kif 15497-15497 | |
| (typicallyContainsPart Caffeine Coffee) | Food.kif 635-635 |
| 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 |
|
|
| (=> (instance ?C ElectricCoffeeMaker) (hasPurpose ?C (exists (?COFFEE ?M) (and (instance ?M CoffeeMaking) (instrument ?M ?C) (result ?M ?COFFEE) (instance ?COFFEE Coffee))))) |
Food.kif 379-387 | |
| (=> (instance ?CM CoffeeMaking) (exists (?C) (and (instance ?C Coffee) (result ?CM ?C)))) |
Food.kif 657-662 | |
| (=> (instance ?CM CoffeeMaking) (exists (?R ?LM ?CG ?W ?F ?C) (and (subProcess ?R ?CM) (instance ?R Removing) (origin ?R ?LM) (instance ?LM LiquidMixture) (part ?W ?LM) (instance ?W DrinkingWater) (part ?CG ?LM) (instance ?CG CoffeeGrind) (instrument ?R ?F) (instance ?F Filter) (result ?R ?C) (instance ?C Coffee)))) |
Food.kif 686-701 | |
| (=> (instance ?COMPANY Coffeeshop) (exists (?SERVICE ?BEVERAGE) (and (instance ?SERVICE CommercialService) (agent ?SERVICE ?COMPANY) (instance ?SERVICE Selling) (patient ?SERVICE ?BEVERAGE) (instance ?BEVERAGE Coffee)))) |
Dining.kif 36-44 | |
| (=> (instance ?EM EspressoMaking) (exists (?C) (and (result ?EM ?C) (instance ?C Coffee)))) |
Food.kif 792-797 |
|
|
|