| ElectricCoffeeMaker(coffee maker) | | coffee_maker |
| appearance as argument number 1 |
|
|
| (documentation ElectricCoffeeMaker EnglishLanguage "ElectricCoffeeMaker is a Device that makes Coffee") | Food.kif 375-376 | |
| (subclass ElectricCoffeeMaker ElectricDevice) | Food.kif 374-374 | Coffee maker is a subclass of electric device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ElectricCoffeeMaker "coffee maker") | Food.kif 377-377 |
| antecedent |
|
|
| (=> (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 |
|
|
|
|