Torso(torso) | body, torso, trunk |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12808-12808 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 64-64 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12806-12806 | Torso is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12807-12807 | Torso is a subclass of body part |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10775-10775 | Every upper back muscle is initially part of a torso |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 249-249 | Every thorax bone is initially part of a torso |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12820-12820 | Every abdomen is a part of a torso |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58502-58502 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58501-58501 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58500-58500 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10774-10774 | A upper back muscle is typically a part of a torso |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12810-12815 |
|
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5260-5260 | Shirt is a subclass of a covering for torso |