Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Worrying
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Worrying PsychologicalProcess) | emotion.kif 1602-1602 | Worrying is a subclass of psychological process |
| (subclass Worrying ContentBearingProcess) | emotion.kif 1603-1603 | Worrying is a subclass of content bearing process |
| (documentation Worrying EnglishLanguage "Worrying is a category of perseverative cognition, i.e.,a continuous thinking about negative events in the past or in the future. [Wikipedia] It is a specific though about a potential problem or future event.") | emotion.kif 1604-1606 | Worrying is a subclass of content bearing process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Worrying "worrying") | emotion.kif 1607-1607 |
| antecedent |
|
|
| (=> (and (instance ?W Worrying) (experiencer ?W ?A) (instance ?A Human) (containsFormula ?W ?F)) (fears ?A ?F)) |
emotion.kif 1609-1615 | If X is an instance of worrying, Y experiences X, Y is an instance of human, and X contains the formula Z, then Y fears Z |
| (=> (and (instance ?W Worrying) (experiencer ?W ?A) (instance ?A Human)) (fears ?A (holdsDuring (ImmediateFutureFn (WhenFn ?W)) (exists (?F) (and (instance ?F Formula) (containsFormula ?W ?F) (truth ?F True)))))) |
emotion.kif 1617-1630 | If X is an instance of worrying, Y experiences X, and Y is an instance of human, then Y fears there exists Z such that Z is an instance of formula, X contains the formula Z, and Z is true holds during immediately after the time of existence of X |
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?A Worry)) (exists (?W) (and (instance ?W Worrying) (agent ?W ?A) (during (WhenFn ?W) ?T)))) |
emotion.kif 1593-1600 | If worry is an attribute of X holds during Y, then there exists Z such that Z is an instance of worrying, X is an agent of Z, and the time of existence of Z takes place during Y |
|