Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DeepFryer |
| appearance as argument number 1 |
|
| (subclass DeepFryer ElectricDevice) | Society.kif 726-726 | DeepFryer is a subclass of electric device |
| (subclass DeepFryer HeatingDevice) | Society.kif 727-727 | DeepFryer is a subclass of heating device |
| (subclass DeepFryer HomeAppliance) | Society.kif 728-728 | DeepFryer is a subclass of home appliance |
| (documentation DeepFryer EnglishLanguage "A deep fryer (also known as a frier, deep fat fryer or fryolator) is a kitchen appliance used for deep-frying.") | Society.kif 730-730 | DeepFryer is a subclass of home appliance |
| antecedent |
|
|
| (=> (instance ?DF DeepFryer) (hasPurpose ?DF (exists (?FRY) (and (instance ?FRY Frying) (instrument ?FRY ?DF))))) |
Society.kif 731-737 | If X is an instance of DeepFryer, then X has the purpose there exists Y such that Y is an instance of frying and X is an instrument for Y |
|