connectedBodyPart |
appearance as argument number 1 |
(documentation connectedBodyPart EnglishLanguage "A Relation between Classes of parts of a Healthy Animal that are connected.") | Mid-level-ontology.kif 11985-11986 | |
(domainSubclass connectedBodyPart 1 BodyPart) | Mid-level-ontology.kif 11989-11989 | The number 1 argument of connected is a subclass of body part |
(domainSubclass connectedBodyPart 2 BodyPart) | Mid-level-ontology.kif 11990-11990 | The number 2 argument of connected is a subclass of body part |
(instance connectedBodyPart BinaryPredicate) | Mid-level-ontology.kif 11984-11984 | connected is an instance of binary predicate |
(instance connectedBodyPart TransitiveRelation) | Mid-level-ontology.kif 11983-11983 | connected is an instance of transitive relation |
appearance as argument number 2 |
(format EnglishLanguage connectedBodyPart "a %1 is connected to a %2") | Mid-level-ontology.kif 11987-11987 | |
(termFormat EnglishLanguage connectedBodyPart "connected") | Mid-level-ontology.kif 11988-11988 |
antecedent |
(=> (and (connectedBodyPart ?A ?B) (attribute ?H Healthy)) (exists (?AI ?BI) (and (instance ?AI ?A) (instance ?BI ?B) (part ?AI ?H) (part ?BI ?H) (connected ?AI ?BI)))) |
Mid-level-ontology.kif 11994-12004 |
|
consequent |
(=> (muscleInsertion ?MC ?BPC) (connectedBodyPart ?MC ?BPC)) |
Anatomy.kif 1741-1743 |
|
(=> (muscleOrigin ?MC ?BPC) (connectedBodyPart ?MC ?BPC)) |
Anatomy.kif 1691-1693 |
|
appearance as argument number 0 |
(connectedBodyPart Esophagus Stomach) | Mid-level-ontology.kif 12091-12091 | A esophagus is connected to a stomach |
(connectedBodyPart Intestine Rectum) | Mid-level-ontology.kif 12093-12093 | A intestine is connected to a rectum |
(connectedBodyPart Mouth Esophagus) | Mid-level-ontology.kif 12090-12090 | A mouth is connected to a esophagus |
(connectedBodyPart Mouth Trachea) | Mid-level-ontology.kif 12117-12117 | A mouth is connected to a trachea |
(connectedBodyPart Nose Trachea) | Mid-level-ontology.kif 12118-12118 | A nose is connected to a trachea |
(connectedBodyPart Rectum Anus) | Mid-level-ontology.kif 12094-12094 | A rectum is connected to a anus |
(connectedBodyPart Stomach Intestine) | Mid-level-ontology.kif 12092-12092 | A stomach is connected to a intestine |
(connectedBodyPart Trachea Lung) | Mid-level-ontology.kif 12119-12119 | A trachea is connected to a lung |