No TPTP formula. May not be expressible in strict first order.	Muscles.kif 377-377	muscleOrigin GenioglossusMuscle and SuperiorPartOfMentalSpineOfMandible
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 626-626	muscleOrigin GeniohyoidMuscle and MandibularSymphysis
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1721-1721	muscleOrigin GluteusMaximusMuscle and GlutealSurfaceOfIliumLumbarFasciaSacrumSacrotuberousLigament
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1732-1732	muscleOrigin GluteusMediusMuscle and GlutealSurfaceOfIliumUnderGluteusMaximus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1743-1743	muscleOrigin GluteusMinimusMuscle and GlutealSurfaceOfIliumUnderGluteusMedius
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1918-1918	muscleOrigin GracilisMuscle and InferiorPubicRamus11
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 388-388	muscleOrigin HyoglossusMuscle and Hyoid
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1700-1700	muscleOrigin IliacusMuscle and IliacFossa
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 895-895	muscleOrigin IliocostalisMuscle and Sacrum
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1667-1667	muscleOrigin IliopsoasMuscle and IliacFossaIliacusSacrumIliacusSpineT12L1LumbarVertebraPsoasMajorPsoasMinor6
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1795-1795	muscleOrigin InferiorGemellusMuscle and IschialTuberosity
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 435-435	muscleOrigin InferiorLongitudinalMuscle and RootOfTongue
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 151-151	muscleOrigin InferiorObliqueMuscle and OrbitalSurfaceOfMaxillaLateralToLacrimalGroove
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 113-113	muscleOrigin InferiorRectusMuscle and AnnulusOfZinnAtOrbitalApex
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1303-1303	muscleOrigin InfraspinatusMuscle and InfraspinousFossaOfScapula
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1030-1030	muscleOrigin InnermostIntercostalsMuscle and InferiorBorderOfRibAbove
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1003-1003	muscleOrigin IntercostalsMuscle and Ribs111
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1021-1021	muscleOrigin InternalIntercostalsMuscle and InferiorBorderOfRibAbove
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 848-848	muscleOrigin InternalObliqueMuscle and AnteriorTwoThirdsOfIliacCrest
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 978-978	muscleOrigin InterspinalesMuscle and SpinousProcess
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 987-987	muscleOrigin IntertransversariiMuscle and TransverseProcess
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1158-1158	muscleOrigin IschiocavernosusMuscle and IschialTuberosity
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 131-131	muscleOrigin LateralRectusMuscle and AnnulusOfZinnAtOrbitalApex
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1750-1750	muscleOrigin LateralRotatorGroupMuscle and AtOrBelowAcetabulumOfIlium
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 925-925	muscleOrigin LatissimusDorsiMuscle and SpinousProcessesOfThoracicT6T12ThoracolumbarFasciaIliacCrestAndInferior3Or4Ribs
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