connectedBodyPart |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11957-11958 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11961-11961 | Le nombre 1 argument de connectedBodyPart est une sous-classe de partie du corps |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11962-11962 | Le nombre 2 argument de connectedBodyPart est une sous-classe de partie du corps |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11956-11956 | connectedBodyPart est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11955-11955 | connectedBodyPart est une instance de relation transitive |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11959-11959 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11960-11960 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11966-11976 |
|
consequent |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12063-12063 | connectedBodyPart Esophagus and Stomach |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12065-12065 | connectedBodyPart Intestine and Rectum |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12062-12062 | connectedBodyPart Mouth and Esophagus |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12089-12089 | connectedBodyPart Mouth and Trachea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12090-12090 | connectedBodyPart Nose 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 Stomach and Intestine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12091-12091 | connectedBodyPart Trachea and Lung |