Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  muscleOrigin

Sigma KEE - muscleOrigin
muscleOrigin

appearance as argument number 1
-------------------------


(documentation muscleOrigin EnglishLanguage "The origin of a muscle is an attachment site that connects the MMuscle to a Bone or other BodyPart. This point is typically proximal to the body and does not move during MuscularContraction (relative to StandardAnatomicalPosition). This is a relationship between classes of things, where a typical and healthy Human (and likely more broadly for Primates) will have a muscle with the given origin point. [from Wikipedia]") Anatomy.kif 1679-1683
(domainSubclass muscleOrigin 1 Muscle) Anatomy.kif 1686-1686
(domainSubclass muscleOrigin 2 BodyPart) Anatomy.kif 1687-1687
(instance muscleOrigin BinaryPredicate) Anatomy.kif 1685-1685

appearance as argument number 2
-------------------------


(format EnglishLanguage muscleOrigin "the origin of %1 is %2") Anatomy.kif 1688-1688
(termFormat EnglishLanguage muscleOrigin "muscle origin") Anatomy.kif 1689-1689

antecedent
-------------------------


(=>
    (and
        (muscleOrigin ?MC ?BPC)
        (instance ?H Human)
        (attribute ?H Healthy))
    (exists (?M ?BP)
        (and
            (instance ?M ?MC)
            (instance ?BP ?BPC)
            (part ?M ?H)
            (part ?BP ?H)
            (connects ?M ?BP))))
Anatomy.kif 1695-1706
(=>
    (and
        (muscleOrigin ?MC ?BPC)
        (instance ?H Human)
        (holdsDuring ?T
            (attribute ?H StandardAnatomicalPosition))
        (attribute ?H Healthy)
        (instance ?C MuscularContraction)
        (during
            (WhenFn ?C) ?T)
        (instance ?M ?MC)
        (part ?M ?H)
        (instrument ?C ?M)
        (physicalEnd ?E ?M)
        (meetsSpatially ?E ?BP)
        (holdsDuring
            (BeginFn ?C)
            (located ?E ?L)))
    (holdsDuring
        (EndFn ?C)
        (located ?E ?L)))
Anatomy.kif 1708-1729
(=>
    (muscleOrigin ?MC ?BPC)
    (connectedBodyPart ?MC ?BPC))
Anatomy.kif 1691-1693

appearance as argument number 0
-------------------------


(muscleOrigin AbductorDigitiMinimiMuscle Pisiform) Muscles.kif 1610-1610
(muscleOrigin AbductorDigitiMinimiMuscle PlantarAponeurosis) Muscles.kif 2146-2146
(muscleOrigin AbductorHallucisMuscle MedialProcessOfCalcaneusFlexorRetinaculumPlantarAponeurosis) Muscles.kif 2129-2129
(muscleOrigin AbductorPollicisBrevisMuscle FlexorRetinaculumOfHandScaphoidAndTrapezium) Muscles.kif 1583-1583
(muscleOrigin AbductorPollicisLongusMuscle Ulna) Muscles.kif 1537-1537
(muscleOrigin AbductorPollicisMuscle AnteriorBoidyOfThirdMetacarpal) Muscles.kif 1592-1592
(muscleOrigin AdductorBrevisMuscle AnteriorSurfaceOfInferiorPubicRamus11) Muscles.kif 1940-1940
(muscleOrigin AdductorHallucisMuscle ProximalEndOfmetatarsal) Muscles.kif 2182-2182
(muscleOrigin AdductorLongusMuscle PubicBodyJustBelowPubicCrest) Muscles.kif 1949-1949
(muscleOrigin AdductorMusclesOfTheHipMuscle Pubis) Muscles.kif 1907-1907
(muscleOrigin AlarPartDilatorNarisMuscle AlveolarYokeOfIncisorTooth) Muscles.kif 243-243
(muscleOrigin AlarPartDilatorNarisMuscle SkinNearMarginOfNostril) Muscles.kif 244-244
(muscleOrigin AnconeusMuscle LateralEpicondyleOfHumerus) Muscles.kif 1371-1371
(muscleOrigin ArticularisGenusMuscle Femur) Muscles.kif 1811-1811
(muscleOrigin ArytenoidTransverseAndObliqueMuscle ArytenoidCartilageOnOneSide) Muscles.kif 541-541
(muscleOrigin AuricularisAnteriorMuscle TemporalFascia) Muscles.kif 165-165
(muscleOrigin AuricularisPosteriorMuscle MastoidProcessOfTemporalBoneTendonOfSternocleidomastoid) Muscles.kif 181-181
(muscleOrigin AuricularisSuperiorMuscle EpicranialAponeurosis) Muscles.kif 173-173
(muscleOrigin BicepsBrachiiMuscle CoracoidProcessOfScapula) Muscles.kif 1342-1342
(muscleOrigin BicepsFemorisMuscle IschialTuberosity) Muscles.kif 1874-1874
(muscleOrigin BrachialisMuscle AnteriorSurfaceOfHumerusMainlyDistalHalf) Muscles.kif 1350-1350
(muscleOrigin BrachioradialisMuscle LateralSupracondylarRidgeOfHumerus) Muscles.kif 1491-1491
(muscleOrigin BuccinatorMuscle AlveolarProcessesOfMaxillaAndMandiblePterygomandibularRaphe) Muscles.kif 295-295
(muscleOrigin BulbospongiosusMuscle PerinealRaphe) Muscles.kif 1150-1150
(muscleOrigin ChondroglossusMuscle LesserCornuAndBodyOfHyoidBone) Muscles.kif 395-395

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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