MuscularContraction - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MuscularContraction EnglishLanguage "The Process of a Muscle being activated by a NerveCell and shortening.")	Mid-level-ontology.kif 10038-10039
(subclass MuscularContraction BodyMotion)	Mid-level-ontology.kif 10036-10036	MuscularContraction 是身体运动的 subclass
(subclass MuscularContraction OrganOrTissueProcess)	Mid-level-ontology.kif 10037-10037	MuscularContraction 是器官或身体组织过程的 subclass

antecedent

(=>
    (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 10041-10056

如果过程是 MuscularContraction 的 instance 和实体是那个过程的 patient 和那个实体是肌肉的 instance 和那个实体的 length 是实数另一个实体在紧接那个过程出现的 time before holdsDuring 和那个实体的 length 是另一个实数那个另外实体在紧接那个过程出现的 time after holdsDuring，
然后那个实数是 greaterThan 那个另外实数

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 10155-10165	如果运动是 Extension 的 instance 和移动那个运动 and 客体，然后有存在另一个客体和那个另外客体C 这样那个另外客体是肌肉的 instance 和那个另外客体C 是 MuscularContraction 的 instance 和那个另外客体是导致那个运动的 instrument 和那个另外客体和那个客体是 connected 和那个另外客体C%n是那个运动的subProcess
(=> (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 10115-10125	如果运动是 Flexion 的 instance 和移动那个运动 and 客体，然后有存在另一个客体和那个另外客体C 这样那个另外客体是肌肉的 instance 和那个另外客体C 是 MuscularContraction 的 instance 和那个另外客体是导致那个运动的 instrument 和那个另外客体和那个客体是 connected 和那个另外客体C%n是那个运动的subProcess
(=> (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 10232-10244	如果过程是 HeartBeat 的 instance 和实体是那个过程的 patient 和那个实体是心的 instance，然后有存在另一个过程和第三过程这样那个另外过程是 MuscularContraction 的 instance 和那个实体是那个另外过程的 patient 和那个第三过程是 MuscleRelaxing 的 instance 和那个实体是那个第三过程的 patient 和那个另外过程%n是那个过程的subProcess 和那个第三过程%n是那个过程的subProcess

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

KB Term:			Term intersection

English Word: