|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 393-393 | 子類 ChondroglossusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1087-1087 | 子類 CoccygeusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1330-1330 | 子類 CoracobrachialisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 64-64 | 子類 CorrugatorSuperciliiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 564-564 | 子類 CricoarytenoidLateralMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 556-556 | 子類 CricoarytenoidPosteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 529-529 | 子類 CricothyroidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1166-1166 | 子類 DeepTransversePerinealMuscleMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10820-10820 | 子類 DeltoidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 258-258 | 子類 DepressorAnguliOrisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 275-275 | 子類 DepressorLabiiInferiorisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 217-217 | 子類 DepressorSeptiNasiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 72-72 | 子類 DepressorSuperciliiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1078-1078 | 子類 DiaphragmMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 596-596 | 子類 DigastricMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2209-2209 | 子類 DorsalInterosseiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2117-2117 | 子類 DorsalInterosseiOfFootMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 883-883 | 子類 ErectorSpinaeMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1506-1506 | 子類 ExtensorCarpiRadialisBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1497-1497 | 子類 ExtensorCarpiRadialisLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1480-1480 | 子類 ExtensorCarpiUlnarisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1471-1471 | 子類 ExtensorDigitiMinimiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2101-2101 | 子類 ExtensorDigitorumBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1987-1987 | 子類 ExtensorDigitorumLongusMuscle 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