No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1222-1222	suppliesBlood DorsalScapularArtery and RhomboidMinorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1200-1200	suppliesBlood DorsalScapularArtery and RhomboidsMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 262-262	suppliesBlood FacialArtery and DepressorAnguliOrisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 253-253	suppliesBlood FacialArtery and LevatorAngulaOrisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 459-459	suppliesBlood FacialArtery and LevatorVeliPalatiniMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 473-473	suppliesBlood FacialArtery and PalatopharyngeusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 211-211	suppliesBlood FacialArtery and ProcerusMuscleMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 314-314	suppliesBlood FacialArtery and RisoriusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 322-322	suppliesBlood FacialArtery and ZygomaticMajorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 330-330	suppliesBlood FacialArtery and ZygomaticMinorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1813-1813	suppliesBlood FemoralArtery and ArticularisGenusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1831-1831	suppliesBlood FemoralArtery and QuadricepsFemorisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1840-1840	suppliesBlood FemoralArtery and RectusFemorisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1823-1823	suppliesBlood FemoralArtery and SartoriusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1858-1858	suppliesBlood FemoralArtery and VastusIntermediusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1849-1849	suppliesBlood FemoralArtery and VastusLateralisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1867-1867	suppliesBlood FemoralArtery and VastusMedialisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2096-2096	suppliesBlood FibularArtery and FibularisBrevisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2085-2085	suppliesBlood FibularArtery and FibularisLongusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2056-2056	suppliesBlood FibularArteryPeronealBranchOfPosteriorTibialArtery and FlexorHallucisLongusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1680-1680	suppliesBlood IliolumbarArtery and PsoasMajorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1691-1691	suppliesBlood IliolumbarArteryLumbarArteries and PsoasMinorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 868-868	suppliesBlood InferiorEpigastricArtery and PyramidalisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 827-827	suppliesBlood InferiorEpigastricArterySuperiorEpigastricArteryContributionsFromPosteriorIntercostalArteriesSubcostalArteriesAndDeepCircumflexArteries and RectusAbdominisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1876-1876	suppliesBlood InferiorGlutealArtery and BicepsFemorisMuscle
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