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