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