|
|
   MusclesRelaxing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MusclesRelaxing PhysiologicalResponseToEmotionalState) | emotion.kif 1462-1462 | MusclesRelaxing è una sottoclasse di PhysiologicalResponseToEmotionalState |
| 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 |
|
|
|