Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FoodBlender(food blender) |
| appearance as argument number 1 |
|
| (subclass FoodBlender SmallKichenAppliance) | HouseholdAppliances.kif 854-854 | Food blender is a subclass of small kitchen appliance |
| (subclass FoodBlender ElectricDevice) | HouseholdAppliances.kif 855-855 | Food blender is a subclass of electric device |
| (subclass FoodBlender FluidContainer) | HouseholdAppliances.kif 856-856 | Food blender is a subclass of fluid container |
| (documentation FoodBlender EnglishLanguage "A SmallKichenAppliance designed for mixing, making puree or emulsion from food ingredient.") | HouseholdAppliances.kif 857-857 | Food blender is a subclass of fluid container |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FoodBlender "food blender") | HouseholdAppliances.kif 858-858 |
| antecedent |
|
|
| (=> (instance ?DEVICE FoodBlender) (hasPurpose ?DEVICE (exists (?COOKING ?RES) (and (instance ?COOKING Cooking) (instance ?RES Mixture) (instance ?RES Beverage) (located ?COOKING ?DEVICE) (result ?COOKING ?RES))))) |
HouseholdAppliances.kif 860-869 | If X is an instance of food blender, 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 beverage, Y is located at X, and Z is a result of Y |
|