|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 187-187 | 子類 StapediusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 583-583 | 子類 SternocleidomastoidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 633-633 | 子類 SternohyoidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 643-643 | 子類 SternothyroidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 400-400 | 子類 StyloglossusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 606-606 | 子類 StylohyoidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 486-486 | 子類 StylopharyngeusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1248-1248 | 子類 SubclaviusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1036-1036 | 子類 SubcostalesMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1319-1319 | 子類 SubscapularisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1139-1139 | 子類 SuperficialTransversePerinealMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1779-1779 | 子類 SuperiorGemellusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 417-417 | 子類 SuperiorLongitudinalMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 139-139 | 子類 SuperiorObliqueMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 101-101 | 子類 SuperiorRectusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 90-90 | 子類 SuperiorTarsalMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1517-1517 | 子類 SupinatorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1290-1290 | 子類 SupraspinatusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 345-345 | 子類 TemporalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 156-156 | 子類 TemporoparietalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1709-1709 | 子類 TensorFasciaeLataeMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 197-197 | 子類 TensorTympaniMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 448-448 | 子類 TensorVeliPalatiniMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1280-1280 | 子類 TeresMajorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1310-1310 | 子類 TeresMinorMuscle 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