Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Can |  | beer_can, can, cannikin, coffee_can, soda_can, tin, tin_can |
| appearance as argument number 1 |
|
|
| (subclass Can Container) | Society.kif 695-695 | Can is a subclass of container |
| (documentation Can EnglishLanguage "An airtight sealed metal container for food or drink or paint etc..also called a tin, after the metal that it is usally made of.") | Society.kif 696-696 | Can is a subclass of container |
| consequent |
|
|
| (=> (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 |
|