Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RiceCooker |
| appearance as argument number 1 |
|
| (subclass RiceCooker ElectricDevice) | Society.kif 905-905 | RiceCooker is a subclass of electric device |
| (subclass RiceCooker HeatingDevice) | Society.kif 906-906 | RiceCooker is a subclass of heating device |
| (subclass RiceCooker HomeAppliance) | Society.kif 907-907 | RiceCooker is a subclass of home appliance |
| (documentation RiceCooker EnglishLanguage "An electric rice cooker or rice steamer is a kitchen appliance dedicated to cooking rice. Rice can also be cooked in general-purpose saucepans.") | Society.kif 908-909 | RiceCooker is a subclass of home appliance |
| antecedent |
|
|
| (=> (instance ?RC RiceCooker) (hasPurpose ?RC (exists (?COOKING ?RICE) (and (instance ?COOKING Cooking) (instrument ?COOKING ?RC) (result ?COOKING ?RICE) (instance ?RICE RiceGrain))))) |
Society.kif 910-918 | If X is an instance of RiceCooker, then X has the purpose there exist Y, Z such that Y is an instance of cooking, X is an instrument for Y, Z is a result of Y, and Z is an instance of rice grain |
|