Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Grill(grill) |
| appearance as argument number 1 |
|
| (subclass Grill HeatingDevice) | Society.kif 654-654 | Grill is a subclass of heating device |
| (subclass Grill HomeAppliance) | Society.kif 655-655 | Grill is a subclass of home appliance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Grill "grill") | domainEnglishFormat.kif 64958-64958 |
| antecedent |
|
|
| (=> (instance ?G Grill) (hasPurpose ?G (exists (?C) (and (instance ?C Cooking) (instrument ?C ?G))))) |
Society.kif 656-662 | If X is an instance of grill, then X has the purpose there exists Y such that Y is an instance of cooking and X is an instrument for Y |
|