Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FoodProcessingAppliance(food processing appliance) |
| appearance as argument number 1 |
|
| (subclass FoodProcessingAppliance HouseholdAppliance) | HouseholdAppliances.kif 725-725 | Food processing appliance is a subclass of household appliance |
| (documentation FoodProcessingAppliance EnglishLanguage "An appliance that can be used for Cooking.") | HouseholdAppliances.kif 726-726 | Food processing appliance is a subclass of household appliance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?DEVICE FoodProcessingAppliance) (hasPurpose ?DEVICE (exists (?COOKING) (and (instance ?COOKING Cooking) (instrument ?COOKING ?DEVICE))))) |
HouseholdAppliances.kif 729-735 | If X is an instance of food processing appliance, then X has the purpose there exists Y such that Y is an instance of cooking and X is an instrument for Y |
| (=> (instance ?DEVICE FoodProcessingAppliance) (hasPurpose ?DEVICE (exists (?FREEZING) (and (instance ?FREEZING Freezing) (instrument ?FREEZING ?DEVICE))))) |
HouseholdAppliances.kif 797-803 | If X is an instance of food processing appliance, then X has the purpose there exists Y such that Y is an instance of freezing and X is an instrument for Y |
|