| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 778-778 |
A branch of dorsal primary division of suboccipital nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 135-135 |
Abducens nerve [CNVI] is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 589-589 |
Accessory nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 639-639 |
Ansa cervicalis is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 1922-1922 |
Anterior branch of obturator nerve[11] is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 1435-1435 |
AnteriorInterosseousNerveMedianNerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 1455-1455 |
Anterior interosseous nerve (median nerve) (C8, T1) is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 1274-1274 |
Axillary nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 213-213 |
Buccal branch of facial nerve [CNVII] is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 684-684 |
C1C2C3C4Nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 657-657 |
C1 Nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 629-629 |
C1 via hypoglossal nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 675-675 |
C2, C3, C4, C5, C6 Nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 819-819 |
C3, C4 is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 997-997 |
C5, C6 Nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 578-578 |
Cervical branch of facial nerve [CNVII] is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 747-747 |
Cervical nerve (C3, C4) and dorsal scapular nerve (C5) is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 708-708 |
Cervical nerves (C3, C4, C5, C6, C7) is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 1614-1614 |
Deep branch of ulnar nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 1633-1633 |
Deep branch of ulnar nerve (C8 and T1) is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 1643-1643 |
Deep branch of ulnar nerve, median nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 1973-1973 |
Deep fibular nerve is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 351-351 |
Deep temporal nerves from mandibular nerve [CNV3] is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 1056-1056 |
Dorsal rami – C8, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11 is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 789-789 |
Dorsal ramus of C1 (suboccipital nerve) is a subclass of nerve |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
