|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 107-107 | 子類 SuperiorBranchOfOculomotorNerveCNIII and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1715-1715 | 子類 SuperiorGlutealNerveL4L5 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1736-1736 | 子類 SuperiorGlutealNerveL4L5S1NerveRoots and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1296-1296 | 子類 SuprascapularNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 50-50 | 子類 TemporalBranchOfFacialNerveCNVII and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 929-929 | 子類 ThoracodorsalNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2009-2009 | 子類 TibialNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2019-2019 | 子類 TibialNerveFromSciaticNerveSpecificallyNerveRootsS1S2 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2058-2058 | 子類 TibialNerveS1S2NerveRoots and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2030-2030 | 子類 TibialNerveSpecificallyNerveRootsL5S2 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 145-145 | 子類 TrochlearNerveCNIV and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1325-1325 | 子類 UpperSubscapularNerveLowerSubscapularNerveC5C6 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 414-414 | 子類 VagusNerveCNXAccessoryNerveCNXI and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 729-729 | 子類 VentralRamiOfThirdToEighthCervicalSpinalNerves and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 718-718 | 子類 VentralRamusOfC5C6 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 60-60 | 子類 ZygomaticBranchOfFacialNerveCNVII and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1897-1897 |
|
|
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