|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 766-766 | 子類 ObliquusCapitisInferiorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 756-756 | 子類 ObliquusCapitisSuperiorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1769-1769 | 子類 ObturatorExternusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1786-1786 | 子類 ObturatorInternusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 34-34 | 子類 OccipitalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 19-19 | 子類 OccipitofrontalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 661-661 | 子類 OmohyoidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1627-1627 | 子類 OpponensDigitiMinimiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1562-1562 | 子類 OpponensPollicisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 54-54 | 子類 OrbicularisOculiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 301-301 | 子類 OrbicularisOrisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 479-479 | 子類 PalatineUvulaMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 409-409 | 子類 PalatoglossusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 469-469 | 子類 PalatopharyngeusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1656-1656 | 子類 PalmarInterosseiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1598-1598 | 子類 PalmarisBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1400-1400 | 子類 PalmarisLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1927-1927 | 子類 PectineusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10765-10765 | 子類 Pectoralis and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1227-1227 | 子類 PectoralisMajorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1237-1237 | 子類 PectoralisMinorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 503-503 | 子類 PharyngealInferiorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 513-513 | 子類 PharyngealMiddleMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 521-521 | 子類 PharyngealSuperiorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1759-1759 | 子類 PiriformisMuscle and Muscle |
| 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