|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1156-1156 | 子類 IschiocavernosusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 129-129 | 子類 LateralRectusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1748-1748 | 子類 LateralRotatorGroupMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10772-10772 | 子類 LatissimusDorsi and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 923-923 | 子類 LatissimusDorsiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 249-249 | 子類 LevatorAngulaOrisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1096-1096 | 子類 LevatorAniIliococcygeusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1114-1114 | 子類 LevatorAniPuborectalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 225-225 | 子類 LevatorLabiiSuperiorisAlaequeNasiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 266-266 | 子類 LevatorLabiiSuperiorisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 79-79 | 子類 LevatorPalpebraeSuperiorisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 741-741 | 子類 LevatorScapulaeMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 455-455 | 子類 LevatorVeliPalatiniMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1051-1051 | 子類 LevatoresCostarumMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 803-803 | 子類 LongissimusCapitisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 903-903 | 子類 LongissimusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 679-679 | 子類 LongusCapitisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 669-669 | 子類 LongusColliMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1637-1637 | 子類 LumbricalMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2162-2162 | 子類 LumbricalsMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 334-334 | 子類 MasseterMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 121-121 | 子類 MedialRectusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 285-285 | 子類 MentalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 961-961 | 子類 MultifidusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 614-614 | 子類 MylohyoidMuscle 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