Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CoffeeMaker(coffeemaker) |
| appearance as argument number 1 |
|
| (subclass CoffeeMaker SmallKichenAppliance) | HouseholdAppliances.kif 836-836 | Coffeemaker is a subclass of small kitchen appliance |
| (subclass CoffeeMaker FluidContainer) | HouseholdAppliances.kif 837-837 | Coffeemaker is a subclass of fluid container |
| (subclass CoffeeMaker HeatingDevice) | HouseholdAppliances.kif 838-838 | Coffeemaker is a subclass of heating device |
| (subclass CoffeeMaker ElectricDevice) | HouseholdAppliances.kif 839-839 | Coffeemaker is a subclass of electric device |
| (documentation CoffeeMaker EnglishLanguage "A SmallKichenAppliance used to brew coffee without heating water in a separate Device.") | HouseholdAppliances.kif 840-840 | Coffeemaker is a subclass of electric device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CoffeeMaker "coffeemaker") | HouseholdAppliances.kif 841-841 |
| antecedent |
|
|
| (=> (instance ?DEVICE CoffeeMaker) (hasPurpose ?DEVICE (exists (?FOOD ?MAKE) (and (instance ?FOOD Beverage) (instance ?MAKE Cooking) (result ?MAKE ?FOOD) (instrument ?MAKE ?DEVICE))))) |
HouseholdAppliances.kif 843-851 | If X is an instance of coffeemaker, then X has the purpose there exist Y, Z such that Y is an instance of beverage, Z is an instance of cooking, Y is a result of Z, and X is an instrument for Z |
|