Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SlowCooker |
| appearance as argument number 1 |
|
| (subclass SlowCooker ElectricDevice) | Society.kif 872-872 | SlowCooker is a subclass of electric device |
| (subclass SlowCooker HeatingDevice) | Society.kif 873-873 | SlowCooker is a subclass of heating device |
| (subclass SlowCooker HomeAppliance) | Society.kif 874-874 | SlowCooker is a subclass of home appliance |
| (documentation SlowCooker EnglishLanguage "A slow cooker is a countertop electrical cooking appliance that allows simmering which requires maintaining a relatively low temperature compared to other cooking methods for many hours allowing unattended cooking of pot roast, stew, and other suitable dishes.") | Society.kif 875-876 | SlowCooker is a subclass of home appliance |
| antecedent |
|
|
| (=> (instance ?SC SlowCooker) (hasPurpose ?SC (exists (?COOKING) (and (instance ?COOKING Cooking) (instrument ?COOKING ?SC))))) |
Society.kif 877-883 | If X is an instance of SlowCooker, then X has the purpose there exists Y such that Y is an instance of cooking and X is an instrument for Y |
|