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