No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1663-1663	antagonistMuscles FingerDorsalInterosseiMuscle and PalmarInterosseiMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1515-1515	antagonistMuscles FlexorCarpiRadialisMuscle and ExtensorCarpiRadialisBrevisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1504-1504	antagonistMuscles FlexorCarpiRadialisMuscle and ExtensorCarpiRadialisLongusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1487-1487	antagonistMuscles FlexorCarpiUlnarisMuscle and ExtensorCarpiUlnarisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2153-2153	antagonistMuscles FlexorDigitiMinimiBrevisMuscle and AbductorDigitiMinimiMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1478-1478	antagonistMuscles FlexorDigitiMinimiBrevisMuscle and ExtensorDigitiMinimiMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2107-2107	antagonistMuscles FlexorDigitorumLongusFlexorDigitorumBrevisMuscle and ExtensorDigitorumBrevisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1994-1994	antagonistMuscles FlexorDigitorumLongusFlexorDigitorumBrevisMuscle and ExtensorDigitorumLongusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1469-1469	antagonistMuscles FlexorDigitorumSuperficialisFlexorDigitorumProfundusMuscle and ExtensorDigitorumMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2115-2115	antagonistMuscles FlexorHallucisBrevisMuscle and ExtensorHallucisBrevisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1985-1985	antagonistMuscles FlexorHallucisLongusFlexorHallucisBrevisMuscle and ExtensorHallucisLongusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1551-1551	antagonistMuscles FlexorPollicisLongusFlexorPollicisBrevisMuscle and ExtensorPollicisBrevisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1560-1560	antagonistMuscles FlexorPollicisLongusFlexorPollicisBrevisMuscle and ExtensorPollicisLongusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1707-1707	antagonistMuscles GluteusMaximusMuscle and IliacusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1685-1685	antagonistMuscles GluteusMaximusMuscle and PsoasMajorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1696-1696	antagonistMuscles GluteusMaximusMuscle and PsoasMinorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1674-1674	antagonistMuscles GluteusMaximusPosteriorCompartmentOfThighMuscle and IliopsoasMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1945-1945	antagonistMuscles GluteusMediusGluteusMinimusMuscle and AdductorBrevisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1954-1954	antagonistMuscles GluteusMediusGluteusMinimusMuscle and AdductorLongusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1965-1965	antagonistMuscles GluteusMediusGluteusMinimusMuscle and AdductorMagnusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1914-1914	antagonistMuscles GluteusMediusGluteusMinimusMuscle and AdductorMusclesOfTheHipMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1925-1925	antagonistMuscles GluteusMediusGluteusMinimusMuscle and GracilisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1936-1936	antagonistMuscles GluteusMediusGluteusMinimusMuscle and PectineusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1757-1757	antagonistMuscles GluteusMinimusGluteusMediusMuscle and LateralRotatorGroupMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1834-1834	antagonistMuscles HamstringMuscle and QuadricepsFemorisMuscle
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