(=>
(wants ?AGENT ?OBJ)
(exists (?PURP)
(hasPurposeForAgent ?OBJ ?AGENT ?PURP))) |
Merge.kif 2881-2884 |
If X wants Y, then there exists Z such that Y has the purpose X for Z |
(=>
(hasPurpose ?THING ?PURPOSE)
(exists (?AGENT)
(hasPurposeForAgent ?THING ?AGENT ?PURPOSE))) |
Merge.kif 4077-4080 |
If X has the purpose Y, then there exists Z such that X has the purpose Z for Y |
(=>
(and
(instance ?PROC IntentionalProcess)
(agent ?PROC ?AGENT))
(exists (?PURP)
(hasPurposeForAgent ?PROC ?AGENT ?PURP))) |
Merge.kif 10736-10741 |
If X is an instance of intentional process and Y is an agent of X, then there exists Z such that X has the purpose Y for Z |
(=>
(and
(instance ?PROC DiagnosticProcess)
(agent ?PROC ?AGENT))
(exists (?CAUSE)
(hasPurposeForAgent ?PROC ?AGENT
(knows ?AGENT
(causes ?CAUSE ?PROC))))) |
Merge.kif 13256-13261 |
If X is an instance of diagnostic process and Y is an agent of X, then there exists Z such that X has the purpose Y for Y knows Z causes X |
(=>
(instance ?S Searching)
(exists (?AGENT ?OBJ ?LOC)
(and
(instance ?AGENT CognitiveAgent)
(agent ?S ?AGENT)
(instance ?OBJ Physical)
(patient ?S ?OBJ)
(instance ?LOC Object)
(located ?OBJ ?LOC)
(hasPurposeForAgent ?S ?AGENT
(knows ?AGENT
(located ?OBJ ?LOC)))))) |
Merge.kif 13268-13280 |
If X is an instance of searching, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of cognitive agent (3) Y is an agent of X (4) Z is an instance of physical (5) Z is a patient of X (6) W is an instance of object (7) Z is located at W (8) X has the purpose Y for Y knows Z is located at W |
(=>
(and
(instance ?S Searching)
(patient ?S ?OBJ)
(instance ?OBJ Physical))
(exists (?LOC ?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?S ?AGENT)
(instance ?LOC Object)
(located ?OBJ ?LOC)
(hasPurposeForAgent ?S ?AGENT
(knows ?AGENT
(located ?OBJ ?LOC)))))) |
Merge.kif 13282-13295 |
If X is an instance of searching, Y is a patient of X, and Y is an instance of physical, then there exist Z, W such that W is an instance of cognitive agent, W is an agent of X, Z is an instance of object, Y is located at Z, and X has the purpose W for W knows Y is located at Z |
(=>
(and
(instance ?COOPERATE Cooperation)
(agent ?COOPERATE ?AGENT))
(exists (?AGENT2 ?PURP)
(and
(hasPurposeForAgent ?COOPERATE ?AGENT ?PURP)
(hasPurposeForAgent ?COOPERATE ?AGENT2 ?PURP)))) |
Merge.kif 13575-13582 |
If X is an instance of cooperation and Y is an agent of X, then there exist Z, W such that X has the purpose Y for W, and X has the purpose Z for W |
(=>
(instance ?CONTEST Contest)
(exists (?AGENT1 ?AGENT2 ?PURP1 ?PURP2)
(and
(agent ?CONTEST ?AGENT1)
(agent ?CONTEST ?AGENT2)
(hasPurposeForAgent ?CONTEST ?AGENT1 ?PURP1)
(hasPurposeForAgent ?CONTEST ?AGENT2 ?PURP2)
(not
(equal ?AGENT1 ?AGENT2))
(not
(equal ?PURP1 ?PURP2))))) |
Merge.kif 13619-13630 |
If X is an instance of contest, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an agent of X (3) Z is an agent of X (4) X has the purpose Y for W (5) X has the purpose Z for V (6) equal Y (7) Z (8) equal W (9) V |
(=>
(and
(instance ?ATTACK Attack)
(agent ?ATTACK ?AGENT)
(patient ?ATTACK ?OBJ))
(hasPurposeForAgent ?ATTACK ?AGENT
(exists (?DAMAGE)
(and
(instance ?DAMAGE Damaging)
(patient ?DAMAGE ?OBJ))))) |
Merge.kif 13719-13728 |
If X is an instance of attack, Y is an agent of X, and Z is a patient of X, then X has the purpose Y for there exists W such that W is an instance of damaging and Z is a patient of W |
(=>
(and
(instance ?DEFENSE DefensiveManeuver)
(agent ?DEFENSE ?AGENT))
(hasPurposeForAgent ?DEFENSE ?AGENT
(not
(exists (?DAMAGE)
(and
(instance ?DAMAGE Damaging)
(patient ?DAMAGE ?AGENT)))))) |
Merge.kif 13741-13750 |
If X is an instance of defensive maneuver and Y is an agent of X, then X has the purpose Y for there doesn't exist Z such that Z is an instance of damaging and Y is a patient of Z |
(=>
(inhibits ?A ?P)
(exists (?P2)
(and
(agent ?P2 ?A)
(hasPurposeForAgent ?P2 ?A
(not
(exists (?P3)
(instance ?P3 ?P))))))) |
Mid-level-ontology.kif 20283-20292 |
If X inhibits Y, then there exists Z such that X is an agent of Z and Z has the purpose X for there doesn't exist W such that W is an instance of Y |
(=>
(and
(instance ?BC BoosterChair)
(instance ?H HumanChild))
(hasPurposeForAgent ?BC ?H
(and
(attribute ?H Sitting)
(eventLocated ?H ?BC)))) |
Dining.kif 840-847 |
If X is an instance of booster chair and Y is an instance of human child, then X has the purpose Y for sitting is an attribute of Y and Y is located at X |
(=>
(and
(instance ?I HealthInsuranceCompany)
(customer ?I ?C))
(hasPurposeForAgent ?I ?C
(exists (?D ?P)
(and
(or
(instance ?D DiagnosticProcess)
(instance ?D TherapeuticProcess))
(experiencer ?D ?C)
(instance ?P Payment)
(agent ?P ?I)
(refers ?P ?D))))) |
FinancialOntology.kif 432-445 |
If X is an instance of health insurance company and Y is a customer of X, then X has the purpose Y for there exist Z, W such that Z is an instance of diagnostic process or Z is an instance of therapeutic process, Y experiences Z, W is an instance of payment, X is an agent of W, and W includes a reference to Z |
(=>
(instance ?DC DrugCandidate)
(exists (?O)
(and
(instance ?O Organization)
(hasPurposeForAgent ?DC ?O
(instance ?DC Medicine))))) |
Medicine.kif 3095-3102 |
If X is an instance of drug candidate, then there exists Y such that Y is an instance of organization and X has the purpose Y for X is an instance of medicine |
(=>
(and
(instance ?PARK DisabledParking)
(instance ?AGENT Human)
(attribute ?AGENT ?ATTR)
(instance ?ATTR Disability))
(hasPurposeForAgent ?PARK ?AGENT
(exists (?EVENT ?TD)
(and
(instance ?EVENT Putting)
(playsRoleInEvent ?PARK destination ?EVENT)
(playsRoleInEvent ?TD patient ?EVENT)
(instance ?TD TransportationDevice))))) |
TransportDetail.kif 51-63 |
If X is an instance of disabled parking, Y is an instance of human, Z is an attribute of Y, and Z is an instance of disability, then X has the purpose Y for there exist W, V such that W is an instance of putting, X plays role in event destination for W, V plays role in event patient for W, and V is an instance of transportation device |
hasPurposeForAgent