No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12063-12063 |
connectedBodyPart Esophagus and 胃 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12065-12065 |
connectedBodyPart 肠 and Rectum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12062-12062 |
connectedBodyPart 口 and Esophagus |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12089-12089 |
connectedBodyPart 口 and Trachea |
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 12066-12066 |
connectedBodyPart Rectum and Anus |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12064-12064 |
connectedBodyPart 胃 and 肠 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12091-12091 |
connectedBodyPart Trachea and 肺 |