No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1089-1089	muscleOrigin CoccygeusMuscle and SacrospinousLigament
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1332-1332	muscleOrigin CoracobrachialisMuscle and CoracoidProcessOfScapula
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 66-66	muscleOrigin CorrugatorSuperciliiMuscle and NasalPartOfFrontalBone
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 566-566	muscleOrigin CricoarytenoidLateralMuscle and LateralPartOfArchOfCricoidCartilage
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 558-558	muscleOrigin CricoarytenoidPosteriorMuscle and PosteriorPartOfCricoidCartilage
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 531-531	muscleOrigin CricothyroidMuscle and AnteriorAndLateralCricoidCartilage
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1168-1168	muscleOrigin DeepTransversePerinealMuscleMuscle and InferiorRamusOfIschium
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1270-1270	muscleOrigin DeltoidMuscle and ClavicleAcromionSpineOfScapula
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 261-261	muscleOrigin DepressorAnguliOrisMuscle and ModiolusOfMouth
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 260-260	muscleOrigin DepressorAnguliOrisMuscle and TubercleOfMandible
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 277-277	muscleOrigin DepressorLabiiInferiorisMuscle and ObliqueLineOfMandibleBetweenSymphysisAndMentalForamen
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 219-219	muscleOrigin DepressorSeptiNasiMuscle and IncisiveFossaOfMaxilla
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 74-74	muscleOrigin DepressorSuperciliiMuscle and NasalPartOfFrontalBoneMedialRimOfOrbit
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1080-1080	muscleOrigin DiaphragmMuscle and SeptumTransversumPleuroperitonealFoldsInnerAbdominalWall
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 598-598	muscleOrigin DigastricMuscle and DigastricFossa
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2211-2211	muscleOrigin DorsalInterosseiMuscle and Metatarsal
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2119-2119	muscleOrigin DorsalInterosseiOfFootMuscle and Metatarsals
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 885-885	muscleOrigin ErectorSpinaeMuscle and ThoracicVertebra
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1508-1508	muscleOrigin ExtensorCarpiRadialisBrevisMuscle and AnteriorSurfaceOfLateralEpicondyleOfHumerusCommonExtensorTendon
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1499-1499	muscleOrigin ExtensorCarpiRadialisLongusMuscle and LateralSupracondylarRidgeOfHumerus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1482-1482	muscleOrigin ExtensorCarpiUlnarisMuscle and LateralEpicondyleOfHumerusCommonExtensorTendonUlna
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1473-1473	muscleOrigin ExtensorDigitiMinimiMuscle and AnteriorSurfaceOfLateralEpicondyleOfHumerusCommonExtensorTendon
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2103-2103	muscleOrigin ExtensorDigitorumBrevisMuscle and Calcaneus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1989-1989	muscleOrigin ExtensorDigitorumLongusMuscle and LateralCondyleOfTibiaSuperiorOfInterosseousMembrane
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1462-1462	muscleOrigin ExtensorDigitorumMuscle and LateralEpicondyleOfHumerusCommonExtensorTendon
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