No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12064-12064 |
A esophagus is connected to a stomach |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12066-12066 |
A intestine is connected to a rectum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12063-12063 |
A mouth is connected to a esophagus |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12090-12090 |
A mouth is connected to a trachea |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12091-12091 |
A nose is connected to a trachea |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12067-12067 |
A rectum is connected to a anus |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12065-12065 |
A stomach is connected to a intestine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12092-12092 |
A trachea is connected to a lung |