| Pocket(pocket)
| | breast_pocket, hip_pocket, patch_pocket, pocket, slash_pocket, vest_pocket |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5132-5133 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 152-152 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 673-673 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5131-5131 | Pocket is a subclass of fabric |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46333-46333 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46332-46332 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46331-46331 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5142-5144 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5135-5140 |
|
|
|
|