(=>
(and
(instance ?EXPRESS ExpressingDisapproval)
(agent ?EXPRESS ?AGENT)
(patient ?EXPRESS ?THING))
(dislikes ?AGENT ?THING)) |
Mid-level-ontology.kif 14575-14580 |
If X is an instance of expressing disapproval, Y is an agent of X, and Z is a patient of X, then Y dislikes Z |
(=>
(holdsDuring ?T
(enemy ?AGENT1 ?AGENT2))
(holdsDuring ?T
(dislikes ?AGENT1 ?AGENT2))) |
MilitaryProcesses.kif 2483-2487 |
If X and Y are enemies of each other holds during Z, then X dislikes Y holds during Z |
(=>
(member ?MEMBER Antisemitism)
(dislikes ?MEMBER Judaism)) |
People.kif 1477-1479 |
If X is a member of antisemitism, then X dislikes judaism |
(=>
(and
(member ?A ?G)
(instance ?G Public)
(holdsDuring ?T
(attribute ?A Shame)))
(believes ?A
(=>
(knows ?G
(exists (?P)
(and
(instance ?P Process)
(agent ?P ?A)
(meetsTemporally
(WhenFn ?P) ?T))))
(dislikes ?G ?A)))) |
emotion.kif 1395-1410 |
If X is a member of Y, Y is an instance of public, and shame is an attribute of X holds during Z, then X believes Y knows there exists W such that W is an instance of process, X is an agent of W, and the time of existence of W meets ZY dislikes X |
(=>
(holdsDuring ?T
(attribute ?A Horror))
(exists (?X ?F)
(and
(dislikes ?A ?X)
(instance ?F Frightening)
(origin ?F ?X)
(experiencer ?F ?A)
(during ?T
(WhenFn ?F))))) |
emotion.kif 1901-1910 |
If horror is an attribute of X holds during Y, then there exist Z, W such that X dislikes Z, W is an instance of frightening, W originates at Z, X experiences W, and Y takes place during the time of existence of W |
