connectedBodyPart |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11958-11959 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11962-11962 | 域子類 connectedBodyPart, 1 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11963-11963 | 域子類 connectedBodyPart, 2 and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11957-11957 | 例 connectedBodyPart and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11956-11956 | 例 connectedBodyPart and TransitiveRelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11960-11960 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11961-11961 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11967-11977 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 561-574 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 505-517 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 601-614 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 669-682 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 492-503 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1741-1743 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1691-1693 |
appearance as argument number 0 |
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 肺 |