(=>
(and
(instance ?P HeartPalpitations)
(experiencer ?P ?H)
(instance ?HEART Heart)
(part ?HEART ?H))
(exists (?PER)
(and
(instance ?PER Perception)
(experiencer ?PER ?H)
(patient ?PER ?HEART)))) |
Medicine.kif 2044-2054 |
If X is an instance of palpitations, Y experiences X, Z is an instance of heart, and Z is a part of Y, then there exists W such that W is an instance of perception, Y experiences W, and Z is a patient of W |
(=>
(and
(instance ?G Gaslighting)
(agent ?G ?A)
(suffers ?G ?H))
(exists (?P)
(and
(instance ?P Perception)
(experiencer ?P ?H)
(causesProposition
(suffers ?G ?H)
(not
(knows ?H
(result ?P ?R))))))) |
Medicine.kif 3658-3671 |
If X is an instance of gaslighting, Y is an agent of X, and Z suffers from X, then there exists W such that W is an instance of perception, Z experiences W, and Z doesn't know V is not a result of W is a causes proposition of Z suffers from X |
(=>
(instance ?AGENT SentientAgent)
(capability Perception experiencer ?AGENT)) |
Merge.kif 13637-13639 |
If X is an instance of sentient agent, then X is capable of doing perception as a experiencer |
(=>
(instance ?AW ArtWork)
(hasPurpose ?AW
(exists (?H ?P)
(and
(instance ?H Human)
(instance ?P Perception)
(experiencer ?P ?H)
(patient ?P ?AW))))) |
Merge.kif 16016-16024 |
If X is an instance of art work, then X has the purpose there exist Y, Z such that Y is an instance of human, Z is an instance of perception, Y experiences Z, and X is a patient of Z |
(=>
(instance ?AW ArtWork)
(hasPurpose ?AW
(exists (?H)
(and
(instance ?H Human)
(desires ?H
(exists (?P)
(and
(instance ?P Perception)
(experiencer ?P ?H)
(patient ?P ?AW)))))))) |
Merge.kif 16026-16037 |
If X is an instance of art work, then X has the purpose there exists Y such that Y is an instance of human, Y desires there exists Z such that Z is an instance of perception, Y experiences Z, and X is a patient of Z |
(=>
(and
(instance ?H Hallucination)
(experiencer ?H ?P))
(exists (?PER ?PROP)
(and
(instance ?PER Perception)
(experiencer ?PER ?P)
(causes ?H ?PER)
(containsInformation ?PER ?PROP)
(truth ?PROP False)))) |
Mid-level-ontology.kif 7384-7394 |
If X is an instance of hallucination and Y experiences X, then there exist Z, W such that Z is an instance of perception, Y experiences Z, X causes Z, Z contains information W, and W is false |
(=>
(holdsDuring ?T
(attribute ?A SensoryPleasure))
(exists (?P)
(and
(instance ?P Perception)
(during ?T
(WhenFn ?P))
(causesProposition
(experiencer ?P ?A)
(holdsDuring ?T
(attribute ?A SensoryPleasure)))))) |
emotion.kif 1228-1238 |
If sensory pleasure is an attribute of X holds during Y, then there exists Z such that Z is an instance of perception, Y takes place during the time of existence of Z, and sensory pleasure is an attribute of X holds during Y is a causes proposition of X experiences Z |
(=>
(holdsDuring ?T
(attribute ?A InterpersonalDisgust))
(exists (?P ?H)
(and
(instance ?P Perception)
(patient ?P ?H)
(experiencer ?P ?A)
(instance ?H Human)
(not
(equal ?H ?A))
(during
(WhenFn ?P) ?T)))) |
emotion.kif 1312-1323 |
If interpersonal disgust is an attribute of X holds during Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of perception (3) W is a patient of Z (4) X experiences Z (5) W is an instance of human (6) equal W (7) X (8) the time of existence of Z takes place during Y |
(=>
(holdsDuring ?T
(attribute ?A InterpersonalDisgust))
(causes
(exists (?P ?H)
(and
(instance ?P Perception)
(patient ?P ?H)
(experiencer ?P ?A)
(instance ?H Human)
(during
(WhenFn ?P) ?T)))
(holdsDuring ?T
(attribute ?A InterpersonalDisgust)))) |
emotion.kif 1325-1337 |
If interpersonal disgust is an attribute of X holds during Y, then there exist Z, W such that Z is an instance of perception, W is a patient of Z, X experiences Z, W is an instance of human, and the time of existence of Z takes place during Y causes interpersonal disgust is an attribute of X holds during Y |
(=>
(and
(instance ?ELT ExperiencingDiscomfortInTheStomach)
(experiencer ?ELT ?A))
(exists (?P ?PAIN ?T)
(and
(instance ?P Perception)
(during
(WhenFn ?P)
(WhenFn ?PAIN))
(instance ?PAIN Pain)
(experiencer ?PAIN ?A)
(subProcess ?P ?ELT)
(agent ?P ?A)
(patient ?P ?T)
(instance ?T Stomach)
(part ?T ?A)))) |
emotion.kif 2239-2253 |
If X is an instance of experiencing discomfort in the stomach and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of perception (3) the time of existence of Z takes place during the time of existence of W (4) W is an instance of pain (5) Y experiences W (6) Z is a subprocess of X (7) Y is an agent of Z (8) V is a patient of Z (9) V is an instance of stomach (10) V is a part of Y |
(=>
(and
(instance ?ELT ExperiencingALumpInTheThroat)
(experiencer ?ELT ?A))
(exists (?P ?T)
(and
(instance ?P Perception)
(subProcess ?P ?ELT)
(agent ?P ?A)
(patient ?P ?T)
(instance ?T Throat)
(part ?T ?A)))) |
emotion.kif 2366-2377 |
If X is an instance of experiencing a lump in the throat and Y experiences X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of perception (3) Z is a subprocess of X (4) Y is an agent of Z (5) W is a patient of Z (6) W is an instance of throat (7) W is a part of Y |
(=>
(and
(instance ?ELT ExperiencingHeatInCheeksOrChest)
(experiencer ?ELT ?A))
(exists (?P ?T)
(and
(instance ?P Perception)
(subProcess ?P ?ELT)
(agent ?P ?A)
(patient ?P ?T)
(or
(instance ?T Torso)
(instance ?T Face))
(part ?T ?A)))) |
emotion.kif 2394-2407 |
If X is an instance of experiencing heat in cheeks or chest and Y experiences X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of perception (3) Z is a subprocess of X (4) Y is an agent of Z (5) W is a patient of Z (6) W is an instance of torso or W is an instance of face (7) W is a part of Y |
