|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5654-5654 | HumanBack 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12094-12094 | 下丘脑 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1658-1658 | Jaw 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12550-12550 | 肢 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11589-11589 | 唇 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11850-11850 | Medulla 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11422-11422 | 口 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15229-15229 | 肌肉 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6097-6097 | NasalSeptum 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12871-12871 | 颈部 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11878-11878 | OccipitalLobes 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15110-15110 | 器官 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11862-11862 | ParietalLobe 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9474-9474 | 植物分支 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11856-11856 | Pons 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15018-15018 | 繁殖体 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12781-12781 | 肩 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11651-11651 | 骨架 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11885-11885 | TemporalLobes 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12758-12758 | 脚趾 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11434-11434 | 舌 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12807-12807 | 躯干 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1100-1100 | 病毒部分 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 805-805 | VocalFold 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12823-12823 | 腰部 是 身体部位 的 subclass |
| 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