MuscleRelaxing
|
|
appearance as argument number 1 |
(documentation MuscleRelaxing EnglishLanguage "The Process of a Muscle being deactivated or relaxing and lengthening.") | Mid-level-ontology.kif 10579-10580 | |
(subclass MuscleRelaxing BodyMotion) | Mid-level-ontology.kif 10577-10577 | MuscleRelaxing ist eine teilkategorie von BodyMotion |
(subclass MuscleRelaxing OrganOrTissueProcess) | Mid-level-ontology.kif 10578-10578 | MuscleRelaxing ist eine teilkategorie von OrganOrTissueProcess |
appearance as argument number 2 |
(termFormat EnglishLanguage MuscleRelaxing "muscle relaxing") | domainEnglishFormat.kif 65212-65212 |
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 10582-10597 |
|
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 10755-10767 |
|