(=>
(instance ?AGENT SentientAgent)
(capability Perception experiencer ?AGENT)) |
Merge.kif 13771-13773 |
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 16161-16169 |
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 16171-16182 |
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 7488-7498 |
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 |
(=>
(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 2047-2057 |
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 3696-3709 |
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 |
(=>
(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 1212-1222 |
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 1437-1448 |
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))
(causesProposition
(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 1450-1462 |
If interpersonal disgust is an attribute of X holds during Y, then interpersonal disgust is an attribute of X holds during Y is a causes proposition of 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 |
(=>
(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 2420-2434 |
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 2565-2576 |
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 2593-2606 |
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 |
