Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ContainerChest
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ContainerChest ChestOrCabinet) | Mid-level-ontology.kif 4630-4630 | Chest container is a subclass of chest or cabinet |
| (documentation ContainerChest EnglishLanguage "A ContainerChest is a piece of Furniture with a lid for storage. It is ususally in the shape of a Rectangle.") | Mid-level-ontology.kif 4631-4632 | Chest container is a subclass of chest or cabinet |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?C ContainerChest) (hasPurpose ?C (exists (?KEEP) (and (instance ?KEEP Keeping) (instrument ?KEEP ?C))))) |
Mid-level-ontology.kif 4634-4640 | If X is an instance of chest container, then X has the purpose there exists Y such that Y is an instance of keeping and X is an instrument for Y |
| (=> (instance ?C ContainerChest) (shape ?C Rectangle)) |
Mid-level-ontology.kif 4642-4644 | If X is an instance of chest container, then X is rectangle |
| (=> (instance ?C ContainerChest) (exists (?LID) (and (instance ?LID Lid) (part ?LID ?C)))) |
Mid-level-ontology.kif 4646-4651 | If X is an instance of chest container, then there exists Y such that Y is an instance of lid and Y is a part of X |
|