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 |