(=>
(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 |
