|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1460-1460 | ExtensorDigitorumMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2109-2109 | ExtensorHallucisBrevisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1978-1978 | ExtensorHallucisLongusMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1528-1528 | ExtensorIndicisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1544-1544 | ExtensorPollicisBrevisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1553-1553 | ExtensorPollicisLongusMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1010-1010 | ExternalIntercostalsMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 835-835 | ExternalObliqueMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2092-2092 | FibularisBrevisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2081-2081 | FibularisLongusMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1996-1996 | FibularisTertiusMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1647-1647 | FingerDorsalInterosseiMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1618-1618 | FingerFlexorDigitiMinimiBrevisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1391-1391 | FlexorCarpiRadialisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1409-1409 | FlexorCarpiUlnarisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2190-2190 | FlexorDigitiMinimiBrevisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2137-2137 | FlexorDigitorumBrevisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2063-2063 | FlexorDigitorumLongusMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1440-1440 | FlexorDigitorumProfundusMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1420-1420 | FlexorDigitorumSuperficialisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2172-2172 | FlexorHallucisBrevisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2052-2052 | FlexorHallucisLongusMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1570-1570 | FlexorPollicisBrevisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1449-1449 | FlexorPollicisLongusMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 44-44 | FrontalisMuscle 是 肌肉 的 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