Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  UnitOfAngularMeasure

 Sigma KEE - MuscularContraction
MuscularContraction(muscular contraction)

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


(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 11981-11981 Muscular contraction is a subclass of body motion
(subclass MuscularContraction OrganOrTissueProcess) Mid-level-ontology.kif 11982-11982 Muscular contraction is a subclass of organ or tissue process
(documentation MuscularContraction EnglishLanguage "The Process of a Muscle being activated by a NerveCell and shortening.") Mid-level-ontology.kif 11983-11984 Muscular contraction is a subclass of organ or tissue process

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


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

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 11986-12001 If X is an instance of muscular contraction, Y is a patient of X, Y is an instance of muscle, the length of Y is Z W(s) holds during immediately before the time of existence of X, and the length of Y is V W(s) holds during immediately after the time of existence of X, then Z is greater than V
(=>
    (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 1730-1751 If All of the following hold: (1) the origin of X is Y (2) Z is an instance of human (3) standard anatomical position is an attribute of Z holds during W (4) healthy is an attribute of Z (5) V is an instance of muscular contraction (6) the time of existence of V takes place during W (7) U is an instance of X (8) U is a part of Z (9) U is an instrument for V (10) one end of U is T (11) T meets S (12) T is located at R holds during the beginning of V, then T is located at R holds during the end of V
(=>
    (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 1780-1802 If All of the following hold: (1) the insertion point of X is Y (2) Z is an instance of human (3) standard anatomical position is an attribute of Z holds during W (4) healthy is an attribute of Z (5) V is an instance of muscular contraction (6) the time of existence of V takes place during W (7) U is an instance of X (8) U is a part of Z (9) U is an instrument for V (10) one end of U is T (11) T meets S (12) T is located at R holds during the beginning of V, then T is not located at R holds during the end of V
(=>
    (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 3988-3998 If X is an instance of muscular contraction, Y moves during X, and Y is an instance of voluntary muscle or Y is an instance of heart muscle, then there exists Z such that Z is an instance of troponin and Z is a resource for X

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


(=>
    (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 12060-12070 If X is an instance of flexion and Y moves during X, then there exist Z, W such that Z is an instance of muscle, W is an instance of muscular contraction, Z is an instrument for X, Z is connected to Y, and W is a subprocess of X
(=>
    (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 12100-12110 If X is an instance of extension and Y moves during X, then there exist Z, W such that Z is an instance of muscle, W is an instance of muscular contraction, Z is an instrument for X, Z is connected to Y, and W is a subprocess of X
(=>
    (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 12181-12193 If X is an instance of heart beat, Y is a patient of X, and Y is an instance of heart, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of muscular contraction (3) Y is a patient of Z (4) W is an instance of muscle relaxing (5) Y is a patient of W (6) Z is a subprocess of X (7) W is a subprocess of X
(=>
    (and
        (instance ?O ClosingEye)
        (patient ?O ?E)
        (instance ?E Eye))
    (exists (?M ?U ?C ?CC)
        (and
            (instance ?M MuscularContraction)
            (patient ?M ?U)
            (instance ?U UpperEyelid)
            (part ?U ?E)
            (during
                (WhenFn ?M)
                (WhenFn ?O))
            (causes ?M ?C)
            (instance ?C Covering)
            (patient ?C ?CC)
            (instance ?CC Cornea)
            (part ?CC ?E)
            (subProcess ?C ?O))))		 Mid-level-ontology.kif 22165-22182 If X is an instance of closing eye, Y is a patient of X, and Y is an instance of eye, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of muscular contraction (3) W is a patient of Z (4) W is an instance of upper eye lid (5) W is a part of Y (6) the time of existence of Z takes place during the time of existence of X (7) Z causes V (8) V is an instance of covering (9) U is a patient of V (10) U is an instance of cornea (11) U is a part of Y (12) V is a subprocess of X
(=>
    (and
        (instance ?D PupilsDilation)
        (patient ?D ?P)
        (instance ?P BothEyePupils))
    (exists (?IDM ?ISM ?C ?R)
        (and
            (instance ?IDM IrisDilatorMuscle)
            (instance ?ISM IrisSphincterMuscle)
            (part ?IDM ?P)
            (part ?ISM ?P)
            (instance ?C MuscularContraction)
            (subProcess ?C ?D)
            (patient ?C ?IDM)
            (instance ?R MuscleRelaxing)
            (patient ?R ?ISM)
            (subProcess ?R ?D))))		 emotion.kif 811-827 If X is an instance of dilated pupils, Y is a patient of X, and Y is an instance of both eye pupils, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of iris dilator muscle (3) W is an instance of iris sphincter muscle (4) Z is a part of Y (5) W is a part of Y (6) V is an instance of muscular contraction (7) V is a subprocess of X (8) Z is a patient of V (9) U is an instance of muscle relaxing (10) W is a patient of U (11) U is a subprocess of X
(=>
    (and
        (instance ?C PupilsConstriction)
        (patient ?D ?P)
        (instance ?P BothEyePupils))
    (exists (?IDM ?ISM ?R)
        (and
            (instance ?IDM IrisDilatorMuscle)
            (instance ?ISM IrisSphincterMuscle)
            (part ?IDM ?P)
            (part ?ISM ?P)
            (instance ?MC MuscularContraction)
            (subProcess ?MC ?C)
            (patient ?MC ?ISM)
            (instance ?R MuscleRelaxing)
            (patient ?R ?IDM)
            (subProcess ?R ?C))))		 emotion.kif 918-934 If X is an instance of miosis, Y is a patient of Z, and Y is an instance of both eye pupils, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of iris dilator muscle (3) V is an instance of iris sphincter muscle (4) W is a part of Y (5) V is a part of Y (6) T is an instance of muscular contraction (7) T is a subprocess of X (8) V is a patient of T (9) U is an instance of muscle relaxing (10) W is a patient of U (11) U is a subprocess of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners