No TPTP formula. May not be expressible in strict first order.	Muscles.kif 683-683	ennervates C1C2C3C4Nerve and longus capitis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 692-692	ennervates C1 Nerve and rectus capitis anterior muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 698-698	ennervates C1 Nerve and rectus capitis lateralis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 656-656	ennervates C1 Nerve and thyrohyoid muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 628-628	ennervates C1 via hypoglossal nerve and geniohyoid muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 674-674	ennervates C2, C3, C4, C5, C6 Nerve and longus colli muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 818-818	ennervates C3, C4 and splenius capitis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 996-996	ennervates C5, C6 Nerve and splenius cervicis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 577-577	ennervates cervical branch of facial nerve [CNVII] and platysma muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 588-588	ennervates cervical branch of facial nerve [CNVII] and sternocleidomastoid muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 746-746	ennervates cervical nerve (C3, C4) and dorsal scapular nerve (C5) and levator scapulae muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 707-707	ennervates cervical nerves (C3, C4, C5, C6, C7) and scalene muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1613-1613	ennervates deep branch of ulnar nerve and abductor digiti minimi muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1595-1595	ennervates deep branch of ulnar nerve and abductor pollicis brevis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1652-1652	ennervates deep branch of ulnar nerve and dorsal interossei muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1623-1623	ennervates deep branch of ulnar nerve and flexor digiti minimi brevis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1661-1661	ennervates deep branch of ulnar nerve and palmar interossei muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1632-1632	ennervates deep branch of ulnar nerve (C8 and T1) and opponens digiti minimi muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1642-1642	ennervates deep branch of ulnar nerve, median nerve and lumbrical muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2105-2105	ennervates deep fibular nerve and extensor digitorum brevis
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1992-1992	ennervates deep fibular nerve and extensor digitorum longus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2113-2113	ennervates deep fibular nerve and extensor hallucis brevis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1983-1983	ennervates deep fibular nerve and extensor hallucis longus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2001-2001	ennervates deep fibular nerve and fibularis tertius muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1972-1972	ennervates deep fibular nerve and tibialis anterior muscle
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