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