No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1253-1253	ennervates subclavian nerve and subclavius muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 869-869	ennervates subcostal nerve and pyramidalis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 879-879	ennervates subcostal nerve and quadratus lumborum muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 770-770	ennervates suboccipital nerve and obliquus capitis inferior muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 760-760	ennervates suboccipital nerve and obliquus capitis superior muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1603-1603	ennervates superficial branch of ulnar nerve and palmaris brevis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2097-2097	ennervates superficial fibular nerve and fibularis brevis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2086-2086	ennervates superficial fibular nerve and fibularis longus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 106-106	ennervates superior branch of oculomotor nerve [CNIII] and superior rectus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1714-1714	ennervates superior gluteal nerve (L4, L5) and tensor fasciae latae muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1735-1735	ennervates superior gluteal nerve (L4, L5, S1 nerve roots) and gluteus medius muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1306-1306	ennervates suprascapular nerve and infraspinatus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1295-1295	ennervates suprascapular nerve and supraspinatus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 49-49	ennervates temporal branch of facial nerve [CNVII] and frontalis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 928-928	ennervates thoracodorsal nerve and latissimus dorsi muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2068-2068	ennervates tibial nerve and flexor digitorum longus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2040-2040	ennervates tibial nerve and plantaris muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2049-2049	ennervates tibial nerve and popliteus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2077-2077	ennervates tibial nerve and tibialis posterior muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2008-2008	ennervates tibial nerve and triceps surae muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2018-2018	ennervates tibial nerve from sciatic nerve, specifically, nerve roots S1, S2 and gastrocnemius muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2057-2057	ennervates tibial nerve, S1, S2 nerve roots and flexor hallucis longus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2029-2029	ennervates tibial nerve, specifically, nerve roots L5–S2 and soleus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 144-144	ennervates trochlear nerve [CNIV] and superior oblique muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1324-1324	ennervates upper subscapular nerve, lower subscapular nerve (C5, C6) and subscapularis 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