| Pocket(pocket)
| | breast_pocket, hip_pocket, patch_pocket, pocket, slash_pocket, vest_pocket |
| appearance as argument number 1 |
|
|
| (subclass Pocket Fabric) | Mid-level-ontology.kif 6372-6372 | 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 6373-6374 | 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 6376-6381 | 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 6383-6385 | If X is an instance of pocket, then X is capable of doing keeping as a instrument |
|
|
|