Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Coffee
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Coffee Beverage) | Food.kif 604-604 | Coffee is a subclass of beverage |
| (roomTempState Coffee Liquid) | Food.kif 605-605 | room temperature state coffee and liquid |
| (relatedInternalConcept Coffee CoffeeGrindAttribute) | Food.kif 606-606 | Coffee is internally related to coffee grind attribute |
| (relatedInternalConcept Coffee CoffeeRoastAttribute) | Food.kif 607-607 | Coffee is internally related to coffee roast attribute |
| (documentation Coffee EnglishLanguage "A Beverage which is prepared by infusing ground, roasted coffee beans into water.") | Food.kif 608-609 | Coffee is internally related to coffee roast attribute |
| (initialPart Coffee CoffeeBean) | Food.kif 610-610 | Every coffee is initially part of a coffee bean |
| (externalImage Coffee "http://articulatesoftware.com/SUMOpictures/plants/ BW/ coffee.png") | pictureList.kif 356-356 | Every coffee is initially part of a coffee bean |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (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 | If X is an instance of coffee shop, then there exist Y, Z such that Y is an instance of commercial service, X is an agent of Y, Y is an instance of selling, Z is a patient of Y, and Z is an instance of coffee |
| (=> (instance ?C ElectricCoffeeMaker) (hasPurpose ?C (exists (?COFFEE ?M) (and (instance ?M CoffeeMaking) (instrument ?M ?C) (result ?M ?COFFEE) (instance ?COFFEE Coffee))))) |
Food.kif 361-369 | If X is an instance of coffee maker, then X has the purpose there exist Y, Z such that Z is an instance of coffee making, X is an instrument for Z, Y is a result of Z, and Y is an instance of coffee |
| (=> (instance ?CM CoffeeMaking) (exists (?C) (and (instance ?C Coffee) (result ?CM ?C)))) |
Food.kif 633-638 | If X is an instance of coffee making, then there exists Y such that Y is an instance of coffee and Y is a result of X |
| (=> (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 662-677 | If X is an instance of coffee making, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is a subprocess of X (3) Y is an instance of removing (4) Y originates at Z (5) Z is an instance of liquid mixture (6) V is a part of Z (7) V is an instance of potable water (8) W is a part of Z (9) W is an instance of coffee grind (10) U is an instrument for Y (11) U is an instance of filter (12) T is a result of Y (13) T is an instance of coffee |
| (=> (instance ?EM EspressoMaking) (exists (?C) (and (result ?EM ?C) (instance ?C Coffee)))) |
Food.kif 769-774 | If X is an instance of espresso making, then there exists Y such that Y is a result of X and Y is an instance of coffee |
|
