No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12054-12054 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12053-12053 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12057-12057 |
A esophagus is typically a part of a GI |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12059-12059 |
A intestine is typically a part of a GI |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12056-12056 |
A mouth is typically a part of a GI |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12060-12060 |
A rectum is typically a part of a GI |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12058-12058 |
A stomach is typically a part of a GI |