No TPTP formula. May not be expressible in strict first order.	Muscles.kif 744-744	muscleInsertion LevatorScapulaeMuscle and SuperiorPartOfMedialBorderOfScapula
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 458-458	muscleInsertion LevatorVeliPalatiniMuscle and PalatineAponeurosis
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1054-1054	muscleInsertion LevatoresCostarumMuscle and SuperiorSurfacesOfRibsImmediatelyInferiorToPrecedingVertebrae
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 806-806	muscleInsertion LongissimusCapitisMuscle and PosteriorMarginOfMastoidProcess
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 906-906	muscleInsertion LongissimusMuscle and TransverseProcess
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 682-682	muscleInsertion LongusCapitisMuscle and BasilarPartOfOccipitalBone
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 672-672	muscleInsertion LongusColliMuscle and AnteriorArchOfAtlas
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1640-1640	muscleInsertion LumbricalMuscle and ExtensorExpansion
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2165-2165	muscleInsertion LumbricalsMuscle and MedialSurfaceOfExtensorExpansionOfProximalPhalangesOfLateralFourToes
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 337-337	muscleInsertion MasseterMuscle and AngleOfMandibleMassetericTuberosityOfMandible
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 124-124	muscleInsertion MedialRectusMuscle and FiftyFiveMmMedialToCornealLimbus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 288-288	muscleInsertion MentalisMuscle and SkinOfChin
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 964-964	muscleInsertion MultifidusMuscle and SpinousProcess
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 617-617	muscleInsertion MylohyoidMuscle and PharyngealRaphe
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 769-769	muscleInsertion ObliquusCapitisInferiorMuscle and LateralMassOfAtlas
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 759-759	muscleInsertion ObliquusCapitisSuperiorMuscle and LateralHalfOfInferiorNuchalLine
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1772-1772	muscleInsertion ObturatorExternusMuscle and MedialSurfaceOfGreaterTrochanterOfFemur
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1789-1789	muscleInsertion ObturatorInternusMuscle and MedialSurfaceOfGreaterTrochanterOfFemur
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 37-37	muscleInsertion OccipitalisMuscle and EpicranialAponeurosis
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 21-21	muscleInsertion OccipitofrontalisMuscle and EpicranialAponeurosis
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 664-664	muscleInsertion OmohyoidMuscle and HyoidBone
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1630-1630	muscleInsertion OpponensDigitiMinimiMuscle and MedialBorderOf5ThMetacarpal
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1565-1565	muscleInsertion OpponensPollicisMuscle and MetacarpalBoneOfThumbOnItsRadialSide
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 57-57	muscleInsertion OrbicularisOculiMuscle and EpicranialAponeurosis
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 304-304	muscleInsertion OrbicularisOrisMuscle and SkinAroundLips
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