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 is a subclass of a covering for torso |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5251-5251 | Shirt is a subclass of clothing |
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 |
|