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 | The number 1 argument of connected is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11963-11963 | The number 2 argument of connected is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11957-11957 | connected is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11956-11956 | connected is an instance of transitive relation |
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 |
appearance as argument number 0 |
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 |