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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Il numero 1 argomento muscleOrigin è una sottoclasse diMuscolo
(domainSubclass muscleOrigin 2 BodyPart) Anatomy.kif 1687-1687 Il numero 2 argomento muscleOrigin è una sottoclasse diParteDelCorpo
(instance muscleOrigin BinaryPredicate) Anatomy.kif 1685-1685 muscleOrigin è un' istanza di PredicatoBinario

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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



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