| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11957-11958 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11961-11961 | 域子類 connectedBodyPart, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11962-11962 | 域子類 connectedBodyPart, 2 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11956-11956 | 例 connectedBodyPart and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11955-11955 | 例 connectedBodyPart and TransitiveRelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11959-11959 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11960-11960 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11966-11976 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 561-574 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 505-517 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 601-614 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 669-682 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 492-503 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1741-1743 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1691-1693 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12063-12063 | connectedBodyPart Esophagus and 胃 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12065-12065 | connectedBodyPart 腸 and Rectum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12062-12062 | connectedBodyPart 口 and Esophagus |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12089-12089 | connectedBodyPart 口 and Trachea |
| 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 12066-12066 | connectedBodyPart Rectum and Anus |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12064-12064 | connectedBodyPart 胃 and 腸 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12091-12091 | 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