MuscleRelaxing
|
|
appearance as argument number 1 |
(documentation MuscleRelaxing EnglishLanguage "The Process of a Muscle being deactivated or relaxing and lengthening.") | Mid-level-ontology.kif 10551-10552 | |
(subclass MuscleRelaxing BodyMotion) | Mid-level-ontology.kif 10549-10549 | Muscle relaxing is a subclass of body motion |
(subclass MuscleRelaxing OrganOrTissueProcess) | Mid-level-ontology.kif 10550-10550 | Muscle relaxing is a subclass of organ or tissue process |
appearance as argument number 2 |
(termFormat EnglishLanguage MuscleRelaxing "muscle relaxing") | domainEnglishFormat.kif 65210-65210 |
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 10554-10569 |
|
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 10727-10739 |
|