| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners