| 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 12854-12855 | |
| (domainSubclass connectedBodyPart 1 BodyPart) | Mid-level-ontology.kif 12858-12858 | The number 1 argument of connected is a subclass of body part |
| (domainSubclass connectedBodyPart 2 BodyPart) | Mid-level-ontology.kif 12859-12859 | The number 2 argument of connected is a subclass of body part |
| (instance connectedBodyPart BinaryPredicate) | Mid-level-ontology.kif 12853-12853 | connected is an instance of binary predicate |
| (instance connectedBodyPart TransitiveRelation) | Mid-level-ontology.kif 12852-12852 | 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 12856-12856 | |
| (termFormat EnglishLanguage connectedBodyPart "connected") | Mid-level-ontology.kif 12857-12857 |
| 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 12863-12873 |
|
| consequent |
|
|
| (=> (muscleInsertion ?MC ?BPC) (connectedBodyPart ?MC ?BPC)) |
Anatomy.kif 1740-1742 |
|
| (=> (muscleOrigin ?MC ?BPC) (connectedBodyPart ?MC ?BPC)) |
Anatomy.kif 1690-1692 |
|
| appearance as argument number 0 |
|
|
| (connectedBodyPart Esophagus Stomach) | Mid-level-ontology.kif 12960-12960 | A esophagus is connected to a stomach |
| (connectedBodyPart Intestine Rectum) | Mid-level-ontology.kif 12962-12962 | A intestine is connected to a rectum |
| (connectedBodyPart Mouth Esophagus) | Mid-level-ontology.kif 12959-12959 | A mouth is connected to a esophagus |
| (connectedBodyPart Mouth Trachea) | Mid-level-ontology.kif 12986-12986 | A mouth is connected to a trachea |
| (connectedBodyPart Nose Trachea) | Mid-level-ontology.kif 12987-12987 | A nose is connected to a trachea |
| (connectedBodyPart Rectum Anus) | Mid-level-ontology.kif 12963-12963 | A rectum is connected to a anus |
| (connectedBodyPart Stomach Intestine) | Mid-level-ontology.kif 12961-12961 | A stomach is connected to a intestine |
| (connectedBodyPart Trachea Lung) | Mid-level-ontology.kif 12988-12988 | A trachea is connected to a lung |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners