|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2013-2013 | 子類 GastrocnemiusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 375-375 | 子類 GenioglossusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 624-624 | 子類 GeniohyoidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10822-10822 | 子類 GluteusMaximusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1730-1730 | 子類 GluteusMediusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1741-1741 | 子類 GluteusMinimusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1916-1916 | 子類 GracilisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10811-10811 | 子類 HamstringMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 386-386 | 子類 HyoglossusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1698-1698 | 子類 IliacusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 893-893 | 子類 IliocostalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1665-1665 | 子類 IliopsoasMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1793-1793 | 子類 InferiorGemellusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 433-433 | 子類 InferiorLongitudinalMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 149-149 | 子類 InferiorObliqueMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 111-111 | 子類 InferiorRectusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1301-1301 | 子類 InfraspinatusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1028-1028 | 子類 InnermostIntercostalsMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1001-1001 | 子類 IntercostalsMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1019-1019 | 子類 InternalIntercostalsMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 846-846 | 子類 InternalObliqueMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 976-976 | 子類 InterspinalesMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 985-985 | 子類 IntertransversariiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10411-10411 | 子類 InvoluntaryMuscle 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