No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1089-1089	The origin of coccygeus muscle is SacrospinousLigament
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1332-1332	The origin of coracobrachialis muscle is CoracoidProcessOfScapula
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 66-66	The origin of corrugator supercilii muscle is NasalPartOfFrontalBone
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 566-566	The origin of lateral muscle is LateralPartOfArchOfCricoidCartilage
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 558-558	The origin of posterior muscle is PosteriorPartOfCricoidCartilage
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 531-531	The origin of cricothyroid muscle is AnteriorAndLateralCricoidCartilage
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1168-1168	The origin of deep transverse perineal muscle is InferiorRamusOfIschium
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1270-1270	The origin of deltoid muscle is ClavicleAcromionSpineOfScapula
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 261-261	The origin of depressor angula oris muscle is ModiolusOfMouth
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 260-260	The origin of depressor angula oris muscle is TubercleOfMandible
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 277-277	The origin of depressor labii inferioris muscle is ObliqueLineOfMandibleBetweenSymphysisAndMentalForamen
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 219-219	The origin of depressor septi nasi muscle is IncisiveFossaOfMaxilla
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 74-74	The origin of depressor supercilii muscle is NasalPartOfFrontalBoneMedialRimOfOrbit
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1080-1080	The origin of diaphragm muscle is SeptumTransversumPleuroperitonealFoldsInnerAbdominalWall
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 598-598	The origin of digastric muscle is DigastricFossa
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2211-2211	The origin of dorsal interossei muscle is Metatarsal
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2119-2119	The origin of dorsal interossei of foot muscle is Metatarsals
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 885-885	The origin of iliocostalis muscle is ThoracicVertebra
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1508-1508	The origin of extensor carpi radialis brevis muscle is AnteriorSurfaceOfLateralEpicondyleOfHumerusCommonExtensorTendon
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1499-1499	The origin of extensor carpi radialis longus muscle is LateralSupracondylarRidgeOfHumerus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1482-1482	The origin of extensor carpi ulnaris muscle is LateralEpicondyleOfHumerusCommonExtensorTendonUlna
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1473-1473	The origin of extensor digiti minimi muscle is AnteriorSurfaceOfLateralEpicondyleOfHumerusCommonExtensorTendon
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2103-2103	The origin of extensor digitorum brevis is Calcaneus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1989-1989	The origin of extensor digitorum longus muscle is LateralCondyleOfTibiaSuperiorOfInterosseousMembrane
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1462-1462	The origin of extensor digitorum muscle is 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