No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1843-1843	Hamstring muscle and rectus femoris muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10698-10698	Hamstring muscle and quadriceps are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1861-1861	Hamstring muscle and vastus intermedius muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1852-1852	Hamstring muscle and vastus lateralis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1870-1870	Hamstring muscle and vastus medialis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1728-1728	IliacusPsoasMajorPsoasMinorMuscle and gluteus maximus are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 901-901	IliocostalisMuscle and RectusAbdominusMuscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 407-407	InferiorAndMiddleFibersOfGenioglossusMuscle and styloglossus muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1328-1328	InfraspinatusTeresMinorMuscle and subscapularis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1299-1299	InfraspinatusTeresMinorPectoralisMajorLatissimusDorsiMuscle and supraspinatus muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1017-1017	Internal intercostals muscle and external intercostals muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 562-562	LateralCricoarytenoidMuscle and posterior muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1739-1739	Lateral rotator group muscle and gluteus medius muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1746-1746	Lateral rotator group muscle and gluteus minimus muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10778-10778	Upper back muscle and chest muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1278-1278	Latissimus dorsi muscle and deltoid muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 256-256	Levator angula oris muscle and depressor angula oris muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 911-911	Longissimus muscle and RectusAbdominusMuscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 365-365	MasseterTemporalisMedialPterygoidMuscle and pterygoid lateral muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 581-581	MasseterTemporalisMuscle and platysma muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 594-594	MasseterTemporalisMuscle and sternocleidomastoid muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 88-88	Orbicularis oculi muscle and levator palpebrae superioris muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1654-1654	Palmar interossei muscle and dorsal interossei muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2215-2215	Plantar interossei muscle and dorsal interossei muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2125-2125	Plantar interossei muscle and dorsal interossei of foot muscle are antagonist muscles
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