No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1843-1843	antagonistMuscles HamstringMuscle and RectusFemorisMuscle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10699-10699	antagonistMuscles HamstringMuscle and ThighMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1861-1861	antagonistMuscles HamstringMuscle and VastusIntermediusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1852-1852	antagonistMuscles HamstringMuscle and VastusLateralisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1870-1870	antagonistMuscles HamstringMuscle and VastusMedialisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1728-1728	antagonistMuscles IliacusPsoasMajorPsoasMinorMuscle and GluteusMaximusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 901-901	antagonistMuscles IliocostalisMuscle and RectusAbdominusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 407-407	antagonistMuscles InferiorAndMiddleFibersOfGenioglossusMuscle and StyloglossusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1328-1328	antagonistMuscles InfraspinatusTeresMinorMuscle and SubscapularisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1299-1299	antagonistMuscles InfraspinatusTeresMinorPectoralisMajorLatissimusDorsiMuscle and SupraspinatusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1017-1017	antagonistMuscles InternalIntercostalsMuscle and ExternalIntercostalsMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 562-562	antagonistMuscles LateralCricoarytenoidMuscle and CricoarytenoidPosteriorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1739-1739	antagonistMuscles LateralRotatorGroupMuscle and GluteusMediusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1746-1746	antagonistMuscles LateralRotatorGroupMuscle and GluteusMinimusMuscle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10779-10779	antagonistMuscles LatissimusDorsi and Pectoralis
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1278-1278	antagonistMuscles LatissimusDorsiMuscle and DeltoidMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 256-256	antagonistMuscles LevatorAngulaOrisMuscle and DepressorAnguliOrisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 911-911	antagonistMuscles LongissimusMuscle and RectusAbdominusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 365-365	antagonistMuscles MasseterTemporalisMedialPterygoidMuscle and PterygoidLateralMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 581-581	antagonistMuscles MasseterTemporalisMuscle and PlatysmaMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 594-594	antagonistMuscles MasseterTemporalisMuscle and SternocleidomastoidMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 88-88	antagonistMuscles OrbicularisOculiMuscle and LevatorPalpebraeSuperiorisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1654-1654	antagonistMuscles PalmarInterosseiMuscle and DorsalInterosseiMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2215-2215	antagonistMuscles PlantarInterosseiMuscle and DorsalInterosseiMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2125-2125	antagonistMuscles PlantarInterosseiMuscle and DorsalInterosseiOfFootMuscle
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