MuscleRelaxing
|
|
appearance as argument number 1 |
(documentation MuscleRelaxing EnglishLanguage "The Process of a Muscle being deactivated or relaxing and lengthening.") | Mid-level-ontology.kif 10552-10553 | |
(subclass MuscleRelaxing BodyMotion) | Mid-level-ontology.kif 10550-10550 | Muscle relaxing is a subclass of body motion |
(subclass MuscleRelaxing OrganOrTissueProcess) | Mid-level-ontology.kif 10551-10551 | 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 10555-10570 |
|
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 10728-10740 |
|