No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10768-10768 |
Every chest muscle is initially part of a chest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11237-11237 |
Every Rib is initially part of a chest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11217-11217 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10767-10767 |
A chest muscle is typically a part of a chest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11236-11236 |
A rib bone is typically a part of a chest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11264-11264 |
A chest typically has a part rib cage |