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


KB Term:  Term intersection
English Word: 

Sigma KEE - MuscleRelaxing
MuscleRelaxing(muscle relaxing)

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


(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 12003-12003 Muscle relaxing is a subclass of body motion
(subclass MuscleRelaxing OrganOrTissueProcess) Mid-level-ontology.kif 12004-12004 Muscle relaxing is a subclass of organ or tissue process
(documentation MuscleRelaxing EnglishLanguage "The Process of a Muscle being deactivated or relaxing and lengthening.") Mid-level-ontology.kif 12005-12006 Muscle relaxing is a subclass of organ or tissue process

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


(termFormat EnglishLanguage MuscleRelaxing "muscle relaxing") domainEnglishFormat.kif 65213-65213

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


(=>
    (and
        (instance ?MC MuscleRelaxing)
        (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 ?N2 ?N1))		 Mid-level-ontology.kif 12008-12023 If X is an instance of muscle relaxing, 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 V is greater than Z

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


(=>
    (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 OpeningEye)
        (patient ?O ?E)
        (instance ?E Eye))
    (exists (?R ?L ?U ?C)
        (and
            (instance ?R MuscleRelaxing)
            (patient ?R ?L)
            (instance ?U UpperEyelid)
            (part ?L ?E)
            (during
                (WhenFn ?R)
                (WhenFn ?O))
            (causes ?R ?U)
            (instance ?U Uncovering)
            (patient ?U ?C)
            (instance ?C Cornea)
            (part ?C ?E)
            (subProcess ?R ?O))))		 Mid-level-ontology.kif 22093-22110 If X is an instance of opening 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 muscle relaxing (3) W is a patient of Z (4) V 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 uncovering (9) U is a patient of V (10) U is an instance of cornea (11) U is a part of Y (12) Z 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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners