Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ElectricToaster |
| appearance as argument number 1 |
|
| (subclass ElectricToaster ElectricDevice) | Society.kif 936-936 | ElectricToaster is a subclass of electric device |
| (subclass ElectricToaster HeatingDevice) | Society.kif 937-937 | ElectricToaster is a subclass of heating device |
| (subclass ElectricToaster HomeAppliance) | Society.kif 938-938 | ElectricToaster is a subclass of home appliance |
| (documentation ElectricToaster EnglishLanguage "An electric kitchen appliance for toasting bread.") | Society.kif 939-939 | ElectricToaster is a subclass of home appliance |
| antecedent |
|
|
| (=> (instance ?T ElectricToaster) (hasPurpose ?T (exists (?TOASTING) (and (instance ?TOASTING Baking) (instrument ?TOASTING ?T))))) |
Society.kif 940-946 | If X is an instance of ElectricToaster, then X has the purpose there exists Y such that Y is an instance of baking and X is an instrument for Y |
|