|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1202-1202 | Dorsal scapular nerve (C4 and C5) is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 509-509 | External laryngeal branch of superior laryngeal nerve and recurrent laryngeal nerve from vagus nerve [CNX] is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 535-535 | External laryngeal branch of superior laryngeal nerve from vagus nerve [CNX] is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 362-362 | External pterygoid nerve from mandibular nerve [CNV3] is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 23-23 | Facial nerve [CNVII] is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1815-1815 | Femoral nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1933-1933 | Femoral nerve and obturator nerve (medial compartment)[11] is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1704-1704 | Femoral nerve (L2, L3[7]) is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1671-1671 | Femoral nerve, lumbar nerves L1, L2 is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 492-492 | Glossopharyngeal nerve [CNIX] is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 799-799 | Greater occipital nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 381-381 | Hypoglossal nerve [CNXII] is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 117-117 | Inferior branch of oculomotor nerve [CNIII] is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1725-1725 | Inferior gluteal nerve (L5, S1, S2 nerve roots) is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 841-841 | Intercostal nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1007-1007 | Intercostal nerves is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 829-829 | Intercostal nerves, subcostal nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1693-1693 | L1 is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1233-1233 | Lateral pectoral nerve, medial pectoral nerve clavicular head: C5 and C6 sternocostal head: C7, C8 and T1 is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2185-2185 | Lateral plantar nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2122-2122 | Lateral plantar nerve(fourth interosseous space: superficial branch others: deep branch), first and second interossei: lateral branch of deep fibular nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2168-2168 | Lateral plantar nerve (lateral three lumbricals) and medial plantar nerve (first lumbrical) is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2150-2150 | Lateral plantar nerve (S1, S2) is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2195-2195 | Lateral plantar nerve (superficial branch) is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1102-1102 | Levator ani nerve is a subclass of 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