|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1196-1196 | 子類 RhomboidsMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 310-310 | 子類 RisoriusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 968-968 | 子類 RotatoresMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 496-496 | 子類 SalpingopharyngeusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1819-1819 | 子類 SartoriusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 712-712 | 子類 ScaleneAnteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 723-723 | 子類 ScaleneMediusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 702-702 | 子類 ScaleneMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 733-733 | 子類 ScalenePosteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1894-1894 | 子類 SemimembranosusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 794-794 | 子類 SemispinalisCapitisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 948-948 | 子類 SemispinalisCervicisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 941-941 | 子類 SemispinalisThoracisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1883-1883 | 子類 SemitendinosusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1258-1258 | 子類 SerratusAnteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1060-1060 | 子類 SerratusPosteriorInferiorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1068-1068 | 子類 SerratusPosteriorSuperiorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10805-10805 | 子類 ShinMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2024-2024 | 子類 SoleusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1123-1123 | 子類 SphincterAniExternusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1131-1131 | 子類 SphincterAniInternusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1174-1174 | 子類 SphincterUrethraeMembranaceaeMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 913-913 | 子類 SpinalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 814-814 | 子類 SpleniusCapitisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 992-992 | 子類 SpleniusCervicisMuscle 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