No TPTP formula. May not be expressible in strict first order.	Muscles.kif 67-67	muscleInsertion CorrugatorSuperciliiMuscle and IntermediateThirdOfSkinOfEyebrow
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 567-567	muscleInsertion CricoarytenoidLateralMuscle and MuscularProcessOfArytenoidCartilage
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 559-559	muscleInsertion CricoarytenoidPosteriorMuscle and MuscularProcessOfArytenoidCartilage
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 532-532	muscleInsertion CricothyroidMuscle and InferiorCornuAndLaminaOfThyroidCartilage
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1169-1169	muscleInsertion DeepTransversePerinealMuscleMuscle and ItsFellowOfOppositeSide
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1271-1271	muscleInsertion DeltoidMuscle and DeltoidTuberosityOfHumerus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 278-278	muscleInsertion DepressorLabiiInferiorisMuscle and IntegumentOfLowerLipOrbicularisOrisFibersItsFellowOfOppositeSide
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 220-220	muscleInsertion DepressorSeptiNasiMuscle and NasalSeptumAndBackPartOfAlarPartOfNasalis
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 75-75	muscleInsertion DepressorSuperciliiMuscle and MedialThirdOfSkinOfEyebrow
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 599-599	muscleInsertion DigastricMuscle and HyoidBone
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2212-2212	muscleInsertion DorsalInterosseiMuscle and ProximalPhalanx
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2120-2120	muscleInsertion DorsalInterosseiOfFootMuscle and ProximalPhalanges
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 886-886	muscleInsertion ErectorSpinaeMuscle and ThoracicVertebra
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1509-1509	muscleInsertion ExtensorCarpiRadialisBrevisMuscle and BaseOf3RdMetacarpal
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1500-1500	muscleInsertion ExtensorCarpiRadialisLongusMuscle and SecondMetacarpal
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1483-1483	muscleInsertion ExtensorCarpiUlnarisMuscle and FifthMetacarpal
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1474-1474	muscleInsertion ExtensorDigitiMinimiMuscle and ExtensorExpansionLocatedAtBaseOfProximalPhalanxOnDorsalSide
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2104-2104	muscleInsertion ExtensorDigitorumBrevisMuscle and Toes
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1990-1990	muscleInsertion ExtensorDigitorumLongusMuscle and MiddleAndDistalPhalangesOfLateralFourDigits
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1463-1463	muscleInsertion ExtensorDigitorumMuscle and SecondNd5ThPhalanges
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2112-2112	muscleInsertion ExtensorHallucisBrevisMuscle and BaseOfProximalPhalanxOfBigToe
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1981-1981	muscleInsertion ExtensorHallucisLongusMuscle and DorsalSideOfBaseOfDistalPhalanxOfHallux
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1531-1531	muscleInsertion ExtensorIndicisMuscle and IndexFingerExtensorHood
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1547-1547	muscleInsertion ExtensorPollicisBrevisMuscle and ProximalPhalanxOfThumb
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1556-1556	muscleInsertion ExtensorPollicisLongusMuscle and DistalPhalanxOfThumb
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