Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CanOpener |  | can_opener, church_key, tin_opener |
| appearance as argument number 1 |
|
|
| (subclass CanOpener Device) | Society.kif 697-697 | CanOpener is a subclass of device |
| (documentation CanOpener EnglishLanguage "A can opener (also known as a tin opener) is a device used to open metal cans.") | Society.kif 698-698 | CanOpener is a subclass of device |
| antecedent |
|
|
| (=> (instance ?CO CanOpener) (hasPurpose ?CO (exists (?OPEN ?C) (and (instance ?C Can) (instance ?OPEN Opening) (patient ?OPEN ?C) (instrument ?OPEN ?CO))))) |
Society.kif 699-707 | If X is an instance of CanOpener, then X has the purpose there exist Y, Z such that Z is an instance of Can, Y is an instance of opening, Z is a patient of Y, and X is an instrument for Y |
|