No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12055-12055 |
|
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 12058-12058 |
A esophagus 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 intestine is typically a part of a GI |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12057-12057 |
A mouth is typically a part of a GI |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12061-12061 |
A rectum 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 stomach is typically a part of a GI |