|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2200-2200 | 子類 PlantarInterosseiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2035-2035 | 子類 PlantarisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 572-572 | 子類 PlatysmaMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2044-2044 | 子類 PopliteusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 207-207 | 子類 ProcerusMuscleMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1429-1429 | 子類 PronatorQuadratusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1379-1379 | 子類 PronatorTeresMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1676-1676 | 子類 PsoasMajorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1687-1687 | 子類 PsoasMinorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 356-356 | 子類 PterygoidLateralMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 367-367 | 子類 PterygoidMedialMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1106-1106 | 子類 PuborectalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 864-864 | 子類 PyramidalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1802-1802 | 子類 QuadratusFemorisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 874-874 | 子類 QuadratusLumborumMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2155-2155 | 子類 QuadratusPlantaeMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1827-1827 | 子類 QuadricepsFemorisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 823-823 | 子類 RectusAbdominisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 688-688 | 子類 RectusCapitisAnteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 694-694 | 子類 RectusCapitisLateralisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 783-783 | 子類 RectusCapitisPosteriorMajorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 773-773 | 子類 RectusCapitisPosteriorMinorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1836-1836 | 子類 RectusFemorisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1208-1208 | 子類 RhomboidMajorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1218-1218 | 子類 RhomboidMinorMuscle 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