No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12064-12064 |
connectedBodyPart Esophagus and 胃 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12066-12066 |
connectedBodyPart 腸 and Rectum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12063-12063 |
connectedBodyPart 口 and Esophagus |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12090-12090 |
connectedBodyPart 口 and Trachea |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12091-12091 |
connectedBodyPart 鼻子 and Trachea |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12067-12067 |
connectedBodyPart Rectum and Anus |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12065-12065 |
connectedBodyPart 胃 and 腸 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12092-12092 |
connectedBodyPart Trachea and 肺 |