|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 251-251 | muscleOrigin LevatorAngulaOrisMuscle and Maxilla |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 252-252 | muscleOrigin LevatorAngulaOrisMuscle and ModiolusOfMouth |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1098-1098 | muscleOrigin LevatorAniIliococcygeusMuscle and IschialSpine |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1108-1108 | muscleOrigin LevatorAniPubococcygeusMuscle and BackSurfaceOfPubic |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 227-227 | muscleOrigin LevatorLabiiSuperiorisAlaequeNasiMuscle and FrontalProcessOfMaxilla |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 268-268 | muscleOrigin LevatorLabiiSuperiorisMuscle and MedialPartOfInfraOrbitalMarginOfMaxilla |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 81-81 | muscleOrigin LevatorPalpebraeSuperiorisMuscle and SphenoidBone |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 743-743 | muscleOrigin LevatorScapulaeMuscle and PosteriorTuberclesOfTransverseProcessesOfC1C4 |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 457-457 | muscleOrigin LevatorVeliPalatiniMuscle and TemporalBoneEustachianTube |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1053-1053 | muscleOrigin LevatoresCostarumMuscle and TransverseProcessesOfC7ToT12Vertebrae |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 805-805 | muscleOrigin LongissimusCapitisMuscle and ArticularProcessesOfC4C7 |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 905-905 | muscleOrigin LongissimusMuscle and Sacrum |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 681-681 | muscleOrigin LongusCapitisMuscle and AnteriorTuberclesOfTransverseProcessesOfVertebraeC3C4C5AndC6 |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 671-671 | muscleOrigin LongusColliMuscle and TransverseProcessesOfVertebraeC3C4C5AndC6 |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1639-1639 | muscleOrigin LumbricalMuscle and FlexorDigitorumProfundus |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2164-2164 | muscleOrigin LumbricalsMuscle and TendonsOfFlexorDigitorumLongus |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 336-336 | muscleOrigin MasseterMuscle and AnteriorTwoThirdsOfInferiorMarginOfZygomaticArchAndMaxilla |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 123-123 | muscleOrigin MedialRectusMuscle and AnnulusOfZinnAtOrbitalApex |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 287-287 | muscleOrigin MentalisMuscle and AlveolarYokeOfLowerLateralIncisorToothFoundOnAnteriorMandible |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 963-963 | muscleOrigin MultifidusMuscle and SacrumErectorSpinaeAponeurosisPSISAndIliacCrest |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 616-616 | muscleOrigin MylohyoidMuscle and MylohyoidLineOfMandible |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 768-768 | muscleOrigin ObliquusCapitisInferiorMuscle and SpinousProcessOfAxis |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 758-758 | muscleOrigin ObliquusCapitisSuperiorMuscle and LateralMassOfAtlas |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1771-1771 | muscleOrigin ObturatorExternusMuscle and ObturatorForamenAndObturatoryMembrane |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1788-1788 | muscleOrigin ObturatorInternusMuscle and IschiopubicRamusObturatorMembrane |
| 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