| 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 11439-11440 | |
| (domainSubclass connectedBodyPart 1 BodyPart) | Mid-level-ontology.kif 11442-11442 | connectedBodyPart 的 1 数量 是 身体部位 的 subclass |
| (domainSubclass connectedBodyPart 2 BodyPart) | Mid-level-ontology.kif 11443-11443 | connectedBodyPart 的 2 数量 是 身体部位 的 subclass |
| (instance connectedBodyPart BinaryPredicate) | Mid-level-ontology.kif 11438-11438 | connectedBodyPart 是 二元谓语 的 instance |
| (instance connectedBodyPart TransitiveRelation) | Mid-level-ontology.kif 11437-11437 | connectedBodyPart 是 传递关系 的 instance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage connectedBodyPart "a %1 is connected to a %2") | Mid-level-ontology.kif 11441-11441 |
| antecedent |
|
|
| (=> (and (connectedBodyPart ?A ?B) (attribute ?H Healthy)) (exists (?AI ?BI) (and (instance ?AI ?A) (instance ?BI ?B) (part ?AI ?G) (part ?BI ?H) (connected ?AI ?BI)))) |
Mid-level-ontology.kif 11445-11455 |
|
| appearance as argument number 0 |
|
|
| (connectedBodyPart Esophagus Stomach) | Mid-level-ontology.kif 11542-11542 | connectedBodyPart Esophagus and 胃 |
| (connectedBodyPart Intestine Rectum) | Mid-level-ontology.kif 11544-11544 | connectedBodyPart 肠 and Rectum |
| (connectedBodyPart Mouth Esophagus) | Mid-level-ontology.kif 11541-11541 | connectedBodyPart 口 and Esophagus |
| (connectedBodyPart Mouth Trachea) | Mid-level-ontology.kif 11568-11568 | connectedBodyPart 口 and Trachea |
| (connectedBodyPart Nose Trachea) | Mid-level-ontology.kif 11569-11569 | connectedBodyPart 鼻子 and Trachea |
| (connectedBodyPart Rectum Anus) | Mid-level-ontology.kif 11545-11545 | connectedBodyPart Rectum and Anus |
| (connectedBodyPart Stomach Intestine) | Mid-level-ontology.kif 11543-11543 | connectedBodyPart 胃 and 肠 |
| (connectedBodyPart Trachea Lung) | Mid-level-ontology.kif 11570-11570 | connectedBodyPart Trachea and 肺 |
|
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