|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5654-5654 | 子類 HumanBack and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12093-12093 | 子類 下丘腦 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1658-1658 | 子類 Jaw and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12549-12549 | 子類 肢 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11588-11588 | 子類 唇 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11849-11849 | 子類 Medulla and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11421-11421 | 子類 口 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15251-15251 | 子類 Muscle and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6096-6096 | 子類 NasalSeptum and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12870-12870 | 子類 頸部 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11877-11877 | 子類 OccipitalLobes and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15132-15132 | 子類 Organ and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11861-11861 | 子類 ParietalLobe and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9473-9473 | 子類 植物分支 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11855-11855 | 子類 Pons and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15040-15040 | 子類 ReproductiveBody and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12780-12780 | 子類 肩 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11650-11650 | 子類 骨架 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11884-11884 | 子類 TemporalLobes and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12757-12757 | 子類 腳趾 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11433-11433 | 子類 舌 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12806-12806 | 子類 軀幹 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1099-1099 | 子類 病毒部分 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 805-805 | 子類 VocalFold and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12822-12822 | 子類 腰部 and BodyPart |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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