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 | MuscleRelaxing est une sous-classe de mouvement du corps |
(subclass MuscleRelaxing OrganOrTissueProcess) | Mid-level-ontology.kif 10551-10551 | MuscleRelaxing est une sous-classe de organ or tissueprocess |
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 |
|