No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1805-1805	muscleInsertion QuadratusFemorisMuscle and IntertrochantericCrest
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 877-877	muscleInsertion QuadratusLumborumMuscle and InferiorBorderOfRib12
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2158-2158	muscleInsertion QuadratusPlantaeMuscle and TendonsOfFlexorDigitorumLongus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1830-1830	muscleInsertion QuadricepsFemorisMuscle and PatellaAndTibialTuberosityViaPatellarTendon
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 826-826	muscleInsertion RectusAbdominisMuscle and XiphoidProcessCostalCartilagesOfRibs57
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 691-691	muscleInsertion RectusCapitisAnteriorMuscle and OccipitalBone
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 697-697	muscleInsertion RectusCapitisLateralisMuscle and UnderSurfaceOfJugularProcessOfOccipitalBone
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 786-786	muscleInsertion RectusCapitisPosteriorMajorMuscle and InferiorNuchealLineOfOccipitalBone
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 776-776	muscleInsertion RectusCapitisPosteriorMinorMuscle and MedialPartOfInferiorNuchalLineOfOccipitalBoneAndSurfaceBetweenItAndForamenMagnum
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1839-1839	muscleInsertion RectusFemorisMuscle and PatellaAndTibialTuberosityViaPatellarTendon
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1211-1211	muscleInsertion RhomboidMajorMuscle and MedialBorderOfScapulaInferiorToInsertionOfRhomboidMinor
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1221-1221	muscleInsertion RhomboidMinorMuscle and MedialBorderOfScapulaSuperiorToInsertionOfRhomboidMajor
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1199-1199	muscleInsertion RhomboidsMuscle and MedialBorderOfScapula
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 313-313	muscleInsertion RisoriusMuscle and ModiolusOfMouth
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 971-971	muscleInsertion RotatoresMuscle and SpinousProcess
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 499-499	muscleInsertion SalpingopharyngeusMuscle and PosteriorFasciculusOfPharyngopalatinus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1822-1822	muscleInsertion SartoriusMuscle and MedialSideOfUpperTibiaInPesAnserinus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 715-715	muscleInsertion ScaleneAnteriorMuscle and FirstRib
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 726-726	muscleInsertion ScaleneMediusMuscle and FirstRib
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 705-705	muscleInsertion ScaleneMuscle and FirstAndSecondRibs
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 736-736	muscleInsertion ScalenePosteriorMuscle and SecondRib
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1897-1897	muscleInsertion SemimembranosusMuscle and MedialSurfaceOfTibia10
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 956-956	muscleInsertion SemispinalisCapitisMuscle and AreaBetweenSuperiorNchalLineAndInferiorNuchalLine
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 797-797	muscleInsertion SemispinalisCapitisMuscle and OccipitalBoneBetweenSuperiorAndInferiorNuchalLines
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 951-951	muscleInsertion SemispinalisCervicisMuscle and CervicalSpinousProcess
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