Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| fears |
| appearance as argument number 1 |
|
| (subrelation fears expects) | Mid-level-ontology.kif 8682-8682 | fears is a subrelation of expects |
| (domain fears 1 CognitiveAgent) | Mid-level-ontology.kif 8683-8683 | The number 1 argument of fears is an instance of cognitive agent |
| (domain fears 2 Formula) | Mid-level-ontology.kif 8684-8684 | The number 2 argument of fears is an instance of formula |
| (instance fears BinaryPredicate) | Mid-level-ontology.kif 8685-8685 | fears is an instance of binary predicate |
| (documentation fears EnglishLanguage "(fears ?AGENT ?FORMULA) means that ?AGENT fears that the proposition ?FORMULA will be true, i.e. he/ she believes that it will come to pass in the future and that it will be undesirable for ?AGENT and may be Damaging to the agent.") | Mid-level-ontology.kif 8686-8689 | fears is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (fears ?AGENT ?FORMULA) (not (hopes ?AGENT ?FORMULA))) |
Mid-level-ontology.kif 8691-8694 | If X fears Y, then X hopes Y will become true |
| (=> (holdsDuring ?T (fears ?A (instance ?P Process))) (believes ?A (modalAttribute (holdsDuring (ImmediateFutureFn ?T) (exists (?D) (and (instance ?D Damaging) (patient ?D ?A) (causes ?P ?D)))) Likely))) |
Mid-level-ontology.kif 8696-8708 | If X fears Y is an instance of process holds during Z, then X believes the statement there exists W such that W is an instance of damaging, X is a patient of W, and Y causes W holds during immediately after Z has the modal force of likely |
| (=> (fears ?A ?F) (not (desires ?A (truth ?F True)))) |
Mid-level-ontology.kif 8710-8714 | If X fears Y, then X doesn't desire Y is not true |
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?H Dizzy)) (holdsDuring ?T (fears ?H (exists (?T2) (=> (and (during ?T2 ?T) (holdsDuring ?T2 (attribute ?H Standing))) (exists (?F) (and (instance ?F Falling) (experiencer ?F ?H) (meetsTemporally ?T2 (WhenFn ?F))))))))) |
Mid-level-ontology.kif 18044-18060 | If dizziness is an attribute of X holds during Y, then X fears there exists Z such that Z takes place during Y, standing is an attribute of X holds during Zthere exists W such that W is an instance of falling, X experiences W, and Z meets the time of existence of W holds during Y |
| (=> (and (instance ?R Robbing) (agent ?R ?P) (victim ?R ?P2)) (exists (?T) (and (instance ?T Threatening) (subProcess ?T ?R) (fears ?P2 (exists (?A) (and (instance ?A Attack) (agent ?A ?P) (victim ?A ?P2))))))) |
Mid-level-ontology.kif 20519-20533 | If X is an instance of robbing, Y is an agent of X, and Z is the victim in X, then there exists W such that W is an instance of threatening, W is a subprocess of X, Z fears there exists V such that V is an instance of attack, Y is an agent of V, and Z is the victim in V |
| (=> (attribute ?PERSON Happiness) (not (exists (?PROP) (fears ?PERSON ?PROP)))) |
emotion.kif 1243-1247 | If happiness is an attribute of X, then there doesn't exist Y such that X fears Y |
| (=> (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 |
| (=> (holdsDuring ?T (attribute ?A Concern)) (holdsDuring (ImmediateFutureFn ?T) (exists (?X) (and (not (desires ?A ?X)) (not (fears ?A ?X)))))) |
emotion.kif 1638-1648 | If concern is an attribute of X holds during Y, then there exists Z such that X doesn't desire Z and X fears Z holds during immediately after Y |
| (=> (attribute ?PERSON Fear) (exists (?PROP) (fears ?PERSON ?PROP))) |
emotion.kif 1686-1689 | If angst is an attribute of X, then there exists Y such that X fears Y |
| (=> (and (instance ?F Frightening) (experiencer ?F ?A)) (and (fears ?A (instance ?P Physical)) (or (origin ?F ?P) (causes ?P ?F)))) |
emotion.kif 1729-1738 | If X is an instance of frightening and Y experiences X, then Y fears Z is an instance of physical and X originates at Z or Z causes X |
| (=> (holdsDuring ?T (attribute ?A Terror)) (fears ?A (exists (?F) (and (instance ?F Frightening) (experiencer ?F ?A) (earlier ?T (WhenFn ?F)))))) |
emotion.kif 1918-1926 | If terror is an attribute of X holds during Y, then X fears there exists Z such that Z is an instance of frightening, X experiences Z, and Y happens earlier than the time of existence of Z |
|