No TPTP formula. May not be expressible in strict first order.	Muscles.kif 350-350	ennervates DeepTemporalNervesFromMandibularNerveCNV3 and TemporalisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1055-1055	ennervates DorsalRamiC8T1T2T3T4T5T6T7T8T9T10T11 and LevatoresCostarumMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 788-788	ennervates DorsalRamusOfC1SuboccipitalNerve and RectusCapitisPosteriorMajorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1213-1213	ennervates DorsalScapularNerveC4AndC5 and RhomboidMajorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1223-1223	ennervates DorsalScapularNerveC4AndC5 and RhomboidMinorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1201-1201	ennervates DorsalScapularNerveC4AndC5 and RhomboidsMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 508-508	ennervates ExternalLaryngealBranchOfSuperiorLaryngealNerveAndRecurrentLaryngealNerveFromVagusNerveCNX and PharyngealInferiorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 534-534	ennervates ExternalLaryngealBranchOfSuperiorLaryngealNerveFromVagusNerveCNX and CricothyroidMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 361-361	ennervates ExternalPterygoidNerveFromMandibularNerveCNV3 and PterygoidLateralMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 168-168	ennervates FacialNerveCNVII and AuricularisAnteriorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 184-184	ennervates FacialNerveCNVII and AuricularisPosteriorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 176-176	ennervates FacialNerveCNVII and AuricularisSuperiorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 254-254	ennervates FacialNerveCNVII and LevatorAngulaOrisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 22-22	ennervates FacialNerveCNVII and OccipitofrontalisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 611-611	ennervates FacialNerveCNVII and StylohyoidMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 160-160	ennervates FacialNerveCNVII and TemporoparietalisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1814-1814	ennervates FemoralNerve and ArticularisGenusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1832-1832	ennervates FemoralNerve and QuadricepsFemorisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1841-1841	ennervates FemoralNerve and RectusFemorisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1824-1824	ennervates FemoralNerve and SartoriusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1859-1859	ennervates FemoralNerve and VastusIntermediusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1850-1850	ennervates FemoralNerve and VastusLateralisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1868-1868	ennervates FemoralNerve and VastusMedialisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1932-1932	ennervates FemoralNerveAndObturatorNerveMedialCompartment11 and PectineusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1703-1703	ennervates FemoralNerveL2L37 and IliacusMuscle
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