MusclesRelaxing
|
|
appearance as argument number 1 |
(subclass MusclesRelaxing PhysiologicalResponseToEmotionalState) | emotion.kif 1462-1462 | Muscles relaxing is a subclass of physiological response to emotion process |
appearance as argument number 2 |
(termFormat EnglishLanguage MusclesRelaxing "muscles relaxing") | emotion.kif 1461-1461 |
antecedent |
(=> (and (instance ?MR MusclesRelaxing) (experiencer ?MR ?A)) (not (exists (?MT) (and (overlapsTemporally ?MT ?MR) (instance ?MT MusclesBecomingTense) (experiencer ?MT ?A))))) |
emotion.kif 1464-1473 |
|
consequent |
(=> (and (instance ?MT MusclesBecomingTense) (experiencer ?MT ?A)) (not (exists (?MR) (and (overlapsTemporally ?MR ?MT) (instance ?MR MusclesRelaxing) (experiencer ?MR ?A))))) |
emotion.kif 1450-1459 |
|