| 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 | connectedBodyPart 的 1 数量 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11963-11963 | connectedBodyPart 的 2 数量 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11957-11957 | connectedBodyPart 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11956-11956 | connectedBodyPart 是 传递关系 的 instance |
| 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 | connectedBodyPart Esophagus and 胃 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12066-12066 | connectedBodyPart 肠 and Rectum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12063-12063 | connectedBodyPart 口 and Esophagus |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12090-12090 | connectedBodyPart 口 and Trachea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12091-12091 | connectedBodyPart 鼻子 and Trachea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12067-12067 | connectedBodyPart Rectum and Anus |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12065-12065 | connectedBodyPart 胃 and 肠 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12092-12092 | 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