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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MuscularContraction

Sigma KEE - MuscularContraction
MuscularContraction

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


(documentation MuscularContraction EnglishLanguage "The Process of a Muscle being activated by a NerveCell and shortening.") Mid-level-ontology.kif 10557-10558
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 10555-10555 子類 MuscularContraction and BodyMotion
(subclass MuscularContraction OrganOrTissueProcess) Mid-level-ontology.kif 10556-10556 子類 MuscularContraction and OrganOrTissueProcess

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


(termFormat EnglishLanguage MuscularContraction "muscular contraction") domainEnglishFormat.kif 65214-65214

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


(=>
    (and
        (instance ?C MuscularContraction)
        (moves ?C ?M)
        (or
            (instance ?M VoluntaryMuscle)
            (instance ?M HeartMuscle)))
    (exists (?T)
        (and
            (instance ?T Troponin)
            (resource ?C ?T))))
Medicine.kif 3954-3964
(=>
    (and
        (instance ?MC MuscularContraction)
        (patient ?MC ?M)
        (instance ?M Muscle)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?MC))
            (length ?M
                (MeasureFn ?N1 ?U)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?MC))
            (length ?M
                (MeasureFn ?N2 ?U))))
    (greaterThan ?N1 ?N2))
Mid-level-ontology.kif 10560-10575
(=>
    (and
        (muscleInsertion ?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)
        (not
            (located ?E ?L))))
Anatomy.kif 1758-1780
(=>
    (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

consequent
-------------------------


(=>
    (and
        (instance ?E Extension)
        (moves ?E ?BP))
    (exists (?M ?MC)
        (and
            (instance ?M Muscle)
            (instance ?MC MuscularContraction)
            (instrument ?E ?M)
            (connected ?M ?BP)
            (subProcess ?MC ?E))))
Mid-level-ontology.kif 10674-10684
(=>
    (and
        (instance ?F Flexion)
        (moves ?F ?BP))
    (exists (?M ?MC)
        (and
            (instance ?M Muscle)
            (instance ?MC MuscularContraction)
            (instrument ?F ?M)
            (connected ?M ?BP)
            (subProcess ?MC ?F))))
Mid-level-ontology.kif 10634-10644
(=>
    (and
        (instance ?HB HeartBeat)
        (patient ?HB ?H)
        (instance ?H Heart))
    (exists (?MC ?MR)
        (and
            (instance ?MC MuscularContraction)
            (patient ?MC ?H)
            (instance ?MR MuscleRelaxing)
            (patient ?MR ?H)
            (subProcess ?MC ?HB)
            (subProcess ?MR ?HB))))
Mid-level-ontology.kif 10755-10767


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