|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 40-40 | 子類 PosteriorAuricularNerveFacialNerveCNVII and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 973-973 | 子類 PosteriorBranch and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1962-1962 | 子類 PosteriorBranchOfObturatorNerveAdductorAndTibialPartOfSciaticNerveVerticalHead1112 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1775-1775 | 子類 PosteriorBranchOfObturatorNerveL3L4 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 809-809 | 子類 PosteriorBranchOfSpinalNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1466-1466 | 子類 PosteriorInterosseousNerveC7C8 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1512-1512 | 子類 PosteriorInterosseusNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1523-1523 | 子類 PosteriorInterosseusNerveC7C8 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 981-981 | 子類 PosteriorRamiOfSpinalNerves and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1135-1135 | 子類 PudendalNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1363-1363 | 子類 RadialNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1375-1375 | 子類 RadialNerveC7C8AndT1 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 545-545 | 子類 RecurrentLaryngealNerveFromVagusNerveCNX and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1119-1119 | 子類 S3S4LevatorAniNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1127-1127 | 子類 S4AndTwigsFromInferiorAnalNervesOfPudendalNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1092-1092 | 子類 SacralNervesS4S5OrS3S4 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1878-1878 | 子類 SciaticNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1900-1900 | 子類 SciaticNerve10 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1889-1889 | 子類 SciaticNerve10TibialL5S1S2 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1074-1074 | 子類 SecondThrough5ThIntercostalNerves and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1254-1254 | 子類 SubclavianNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 870-870 | 子類 SubcostalNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 761-761 | 子類 SuboccipitalNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1604-1604 | 子類 SuperficialBranchOfUlnarNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2087-2087 | 子類 SuperficialFibularNerve and Nerve |
| 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