|
|
   MusclesBecomingTense
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MusclesBecomingTense PhysiologicalResponseToEmotionalState) | emotion.kif 1447-1447 | MusclesBecomingTense est une sous-classe de PhysiologicalResponseToEmotionalState |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MusclesBecomingTense "muscles becoming tense") | emotion.kif 1448-1448 |
| antecedent |
|
|
| (=> (and (instance ?MT MusclesBecomingTense) (experiencer ?MT ?A)) (not (exists (?MR) (and (overlapsTemporally ?MR ?MT) (instance ?MR MusclesRelaxing) (experiencer ?MR ?A))))) |
emotion.kif 1450-1459 |
| consequent |
|
|
| (=> (and (instance ?MR MusclesRelaxing) (experiencer ?MR ?A)) (not (exists (?MT) (and (overlapsTemporally ?MT ?MR) (instance ?MT MusclesBecomingTense) (experiencer ?MT ?A))))) |
emotion.kif 1464-1473 |
|
|
|