Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FoodMixer(food mixer) |
| appearance as argument number 1 |
|
| (subclass FoodMixer SmallKichenAppliance) | HouseholdAppliances.kif 872-872 | Food mixer is a subclass of small kitchen appliance |
| (subclass FoodMixer ElectricDevice) | HouseholdAppliances.kif 873-873 | Food mixer is a subclass of electric device |
| (disjoint FoodMixer FluidContainer) | HouseholdAppliances.kif 874-874 | Food mixer is disjoint from fluid container |
| (documentation FoodMixer EnglishLanguage "A SmallKichenAppliance designed for mixing, folding, beating, and whipping food ingredient.") | HouseholdAppliances.kif 875-875 | Food mixer is disjoint from fluid container |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FoodMixer "food mixer") | HouseholdAppliances.kif 876-876 |
| antecedent |
|
|
| (=> (instance ?DEVICE FoodMixer) (hasPurpose ?DEVICE (exists (?COOKING ?RES) (and (instance ?COOKING Cooking) (instance ?RES Mixture) (instance ?RES PreparedFood) (result ?COOKING ?RES))))) |
HouseholdAppliances.kif 878-886 | If X is an instance of food mixer, then X has the purpose there exist Y, Z such that Y is an instance of cooking, Z is an instance of mixture, Z is an instance of food, and Z is a result of Y |
|