| Shirt
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5252-5253 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 727-727 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 168-168 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5254-5254 | Shirt e' uma sub-classe de CoveringFn Torso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5251-5251 | Shirt e' uma sub-classe de Roupa |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52733-52733 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52732-52732 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52731-52731 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5256-5260 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5105-5112 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5331-5338 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5277-5284 |
|
|
|