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 は 動作 の subclass では %n |
(subclass MuscleRelaxing OrganOrTissueProcess) | Mid-level-ontology.kif 10551-10551 | MuscleRelaxing は 臓器または組織のプロセス の subclass では %n |
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 |