No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2111-2111	The origin of extensor hallucis brevis muscle is Calcaneus
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1980-1980	The origin of extensor hallucis longus muscle is MiddlePortionOfAnteriorSurfaceOfFibulaAnteriorSurfaceOfInterosseousMembrane
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1530-1530	The origin of extensor indicis muscle is ulna
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1546-1546	The origin of extensor pollicis brevis muscle is RadiusInterosseousMembraneOfForearm
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1555-1555	The origin of extensor pollicis longus muscle is UlnaInterosseousMembraneOfForearm
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1012-1012	The origin of external intercostals muscle is InferiorBorderOfRibAbove
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 837-837	The origin of external oblique muscle is ExternalSurfacesOfRibs
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2094-2094	The origin of fibularis brevis muscle is fibula
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2083-2083	The origin of fibularis longus muscle is fibula
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1998-1998	The origin of fibularis tertius muscle is DistalAnteriorSurfaceOfFibula
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1649-1649	The origin of finger dorsal interossei muscle is Metacarpals
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1620-1620	The origin of finger flexor digiti minimi brevis muscle is HamateBone
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1393-1393	The origin of flexor carpi radialis muscle is MedialEpicondyleOfHumerusCommonFlexorTendon
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1411-1411	The origin of flexor carpi ulnaris muscle is MedialEpicondyleOfHumerusCommonFlexorTendon
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2192-2192	The origin of flexor digiti minimi brevis muscle is FifthMetatarsalBone
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2139-2139	The origin of flexor digitorum brevis muscle is MedialProcessOfCalcaneusPlantarAponeurosisIntermuscularSepta
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2065-2065	The origin of flexor digitorum longus muscle is MedialTibia
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1442-1442	The origin of flexor digitorum profundus muscle is ulna
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1422-1422	The origin of flexor digitorum superficialis muscle is MedialEpicondyleOfHumerusCommonFlexorTendonPartsOfRadiusAndUlna
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2174-2174	The origin of flexor hallucis brevis muscle is PlantarSurfaceOfCuneiforms
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2054-2054	The origin of flexor hallucis longus muscle is PosteriorSurfaceOfUpper13OfFibula
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1572-1572	The origin of flexor pollicis brevis muscle is TrapezoidFlexorRetinaculum
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1451-1451	The origin of flexor pollicis longus muscle is MiddleHalfOfVolarSurfaceOfRadiusInterosseusMembrane
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 46-46	The origin of frontalis muscle is frontal bone
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2015-2015	The origin of gastrocnemius muscle is MedialCondyleAndLateralCondyleOfFemur
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