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