No TPTP formula. May not be expressible in strict first order.	Muscles.kif 389-389	muscleInsertion HyoglossusMuscle and SideOfTongue
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1701-1701	muscleInsertion IliacusMuscle and LesserTrochanterOfFemur
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 896-896	muscleInsertion IliocostalisMuscle and RibBone
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1668-1668	muscleInsertion IliopsoasMuscle and LesserTrochanterOfFemurPsoasMajorShaftBelowLesserTrochanterIliacusTendonOfPsoasMajorFemurIliacus6
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1796-1796	muscleInsertion InferiorGemellusMuscle and ObturatorInternusTendon
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 436-436	muscleInsertion InferiorLongitudinalMuscle and ApexOfTongue
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 152-152	muscleInsertion InferiorObliqueMuscle and LaterallyOntoEyeballDeepToLateralRectusByAShortFlatTendon
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 114-114	muscleInsertion InferiorRectusMuscle and SixtyFiveMmInferiorToCornealLimbus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1304-1304	muscleInsertion InfraspinatusMuscle and MiddleFacetOfGreaterTubercleOfHumerus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1031-1031	muscleInsertion InnermostIntercostalsMuscle and SuperiorBorderOfRibBelow
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1004-1004	muscleInsertion IntercostalsMuscle and Ribs212
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1022-1022	muscleInsertion InternalIntercostalsMuscle and SuperiorBorderOfRibBelow
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 849-849	muscleInsertion InternalObliqueMuscle and InferiorBordersOfRibs
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 979-979	muscleInsertion InterspinalesMuscle and SpinousProcess
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 988-988	muscleInsertion IntertransversariiMuscle and TransverseProcessAbove
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1160-1160	muscleInsertion IschiocavernosusMuscle and CrusOfClitoris
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1159-1159	muscleInsertion IschiocavernosusMuscle and CrusOfPenis
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 132-132	muscleInsertion LateralRectusMuscle and SevenMmTemporalToCornealLimbus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1751-1751	muscleInsertion LateralRotatorGroupMuscle and OnOrNearGreaterTrochanterOfFemur
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 926-926	muscleInsertion LatissimusDorsiMuscle and FloorOfIntertubercularGrooveOfHumerus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1099-1099	muscleInsertion LevatorAniIliococcygeusMuscle and Coccyx
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1109-1109	muscleInsertion LevatorAniPubococcygeusMuscle and Coccyx
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 228-228	muscleInsertion LevatorLabiiSuperiorisAlaequeNasiMuscle and NostrilAndUpperLip
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 269-269	muscleInsertion LevatorLabiiSuperiorisMuscle and SkinAndMuscleOfUpperLipLabiiSuperioris
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 82-82	muscleInsertion LevatorPalpebraeSuperiorisMuscle and TarsalPlateUpperEyelid
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