Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| actionTendency |
| appearance as argument number 1 |
|
| (instance actionTendency BinaryPredicate) | emotion.kif 135-135 | action tendency is an instance of binary predicate |
| (domain actionTendency 1 EmotionalState) | emotion.kif 136-136 | The number 1 argument of action tendency is an instance of emotional state |
| (domainSubclass actionTendency 2 EmotionalBehavioralProcess) | emotion.kif 137-137 | The number 2 argument of action tendency is a subclass of emotional behavioral process |
| (documentation actionTendency EnglishLanguage "A tendency of an emotion to cause a particular type of action.") | emotion.kif 138-139 | The number 2 argument of action tendency is a subclass of emotional behavioral process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage actionTendency "action tendency") | domainEnglishFormat.kif 65774-65774 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T (attribute ?A ?ES)) (actionTendency ?ES ?PI)) (modalAttribute (exists (?P) (and (instance ?P ?PI) (during (WhenFn ?P) ?T) (experiencer ?P ?A))) Likely)) |
emotion.kif 141-152 | If X is an attribute of Y holds during Z and action tendency X and W, then the statement there exists V such that V is an instance of W, the time of existence of V takes place during Z, and Y experiences V has the modal force of likely |
| appearance as argument number 0 |
|
|
|