![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12807-12807 | |
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 12805-12805 | Torso is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12806-12806 | 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 10774-10774 | 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 12819-12819 | 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 10773-10773 | 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 12809-12814 |
|
consequent |
![]() |
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5259-5259 | Shirt is a subclass of a covering for torso |
![]() |
![]() |