Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FoodProcessor(food processor) |  | food_processor |
| appearance as argument number 1 |
|
|
| (subclass FoodProcessor SmallKichenAppliance) | HouseholdAppliances.kif 889-889 | Food processor is a subclass of small kitchen appliance |
| (subclass FoodProcessor ElectricDevice) | HouseholdAppliances.kif 890-890 | Food processor is a subclass of electric device |
| (documentation FoodProcessor EnglishLanguage "A SmallKichenAppliance used for some repetitive tasks in the process of food preparation.") | HouseholdAppliances.kif 891-891 | Food processor is a subclass of electric device |
| (documentation FoodProcessor EnglishLanguage "A food processor is a kitchen appliance used to facilitate various repetitive tasks in the process of preparation of food.") | Society.kif 743-743 | Food processor is a subclass of electric device |
| (subclass FoodProcessor HomeAppliance) | Society.kif 744-744 | Food processor is a subclass of home appliance |
| (subclass FoodProcessor HeatingDevice) | Society.kif 748-748 | Food processor is a subclass of heating device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FoodProcessor "food processor") | domainEnglishFormat.kif 64882-64882 |
| antecedent |
|
|
| (=> (instance ?DEVICE FoodProcessor) (hasPurpose ?DEVICE (exists (?COOKING ?RES) (and (instance ?COOKING Cooking) (result ?COOKING ?RES) (instance ?RES PreparedFood))))) |
HouseholdAppliances.kif 894-901 | If X is an instance of food processor, then X has the purpose there exist Y, Z such that Y is an instance of cooking, Z is a result of Y, and Z is an instance of food |
|