Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Pocket
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Pocket Fabric) | Mid-level-ontology.kif 6535-6535 | Pocket is a subclass of fabric |
| (documentation Pocket EnglishLanguage "A pouch of Fabric in an instance of Clothing where something can be kept.") | Mid-level-ontology.kif 6536-6537 | Pocket is a subclass of fabric |
| (externalImage Pocket "http://upload.wikimedia.org/wikipedia/commons/e/e3/ Pocket.agr.jpg") | pictureList.kif 152-152 | Pocket is a subclass of fabric |
| (externalImage Pocket "http://articulatesoftware.com/SUMOpictures/clothes/ pocket.png") | pictureList.kif 673-673 | Pocket is a subclass of fabric |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?POCKET Pocket) (exists (?CLOTHING) (and (instance ?CLOTHING Clothing) (part ?POCKET ?CLOTHING)))) |
Mid-level-ontology.kif 6539-6544 | If X is an instance of pocket, then there exists Y such that Y is an instance of clothing and X is a part of Y |
| (=> (instance ?POCKET Pocket) (capability Keeping instrument ?POCKET)) |
Mid-level-ontology.kif 6546-6548 | If X is an instance of pocket, then X is capable of doing keeping as a instrument |
|
