| ! [V__AGENT : $i,V__OBJ : $i] : ((s__wants(V__AGENT, V__OBJ) => ( ? [V__PURP:$i] : (s__hasPurposeForAgent(V__OBJ, V__AGENT, V__PURP))))) |
Merge.kif 2881-2884 |
If X wants Y, then there exists Z such that Y has the purpose X for Z |
| ! [V__PURPOSE : $i,V__THING : $i] : ((s__hasPurpose(V__THING, V__PURPOSE) => ( ? [V__AGENT:$i] : (s__hasPurposeForAgent(V__THING, V__AGENT, V__PURPOSE))))) |
Merge.kif 4077-4080 |
If X has the purpose Y, then there exists Z such that X has the purpose Z for Y |
| ! [V__AGENT : $i,V__PROC : $i] : (((s__instance(V__PROC, s__IntentionalProcess) & s__agent(V__PROC, V__AGENT)) => ( ? [V__PURP:$i] : (s__hasPurposeForAgent(V__PROC, V__AGENT, V__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 |
| ! [V__AGENT : $i,V__PROC : $i] : (((s__instance(V__PROC, s__DiagnosticProcess) & s__agent(V__PROC, V__AGENT)) => ( ? [V__CAUSE:$i] : (s__hasPurposeForAgent(V__PROC, V__AGENT, s__knows(V__AGENT, s__causes(V__CAUSE, V__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 |
| ! [V__S : $i] : ((s__instance(V__S, s__Searching) => ( ? [V__AGENT:$i, V__OBJ:$i, V__LOC:$i] : ((s__instance(V__AGENT, s__CognitiveAgent) & s__agent(V__S, V__AGENT) & s__instance(V__OBJ, s__Physical) & s__patient(V__S, V__OBJ) & s__instance(V__LOC, s__Object) & s__located(V__OBJ, V__LOC) & s__hasPurposeForAgent(V__S, V__AGENT, s__knows(V__AGENT, s__located(V__OBJ, V__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 |
| ! [V__OBJ : $i,V__S : $i] : (((s__instance(V__S, s__Searching) & s__patient(V__S, V__OBJ) & s__instance(V__OBJ, s__Physical)) => ( ? [V__LOC:$i, V__AGENT:$i] : ((s__instance(V__AGENT, s__CognitiveAgent) & s__agent(V__S, V__AGENT) & s__instance(V__LOC, s__Object) & s__located(V__OBJ, V__LOC) & s__hasPurposeForAgent(V__S, V__AGENT, s__knows(V__AGENT, s__located(V__OBJ, V__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 |
| ! [V__AGENT : $i,V__COOPERATE : $i] : (((s__instance(V__COOPERATE, s__Cooperation) & s__agent(V__COOPERATE, V__AGENT)) => ( ? [V__AGENT2:$i, V__PURP:$i] : ((s__hasPurposeForAgent(V__COOPERATE, V__AGENT, V__PURP) & s__hasPurposeForAgent(V__COOPERATE, V__AGENT2, V__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 |
| ! [V__CONTEST : $i] : ((s__instance(V__CONTEST, s__Contest) => ( ? [V__AGENT1:$i, V__AGENT2:$i, V__PURP1:$i, V__PURP2:$i] : ((s__agent(V__CONTEST, V__AGENT1) & s__agent(V__CONTEST, V__AGENT2) & s__hasPurposeForAgent(V__CONTEST, V__AGENT1, V__PURP1) & s__hasPurposeForAgent(V__CONTEST, V__AGENT2, V__PURP2) & ~(V__AGENT1 = V__AGENT2) & ~(V__PURP1 = V__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 |
| ! [V__AGENT : $i,V__ATTACK : $i,V__OBJ : $i] : (((s__instance(V__ATTACK, s__Attack) & s__agent(V__ATTACK, V__AGENT) & s__patient(V__ATTACK, V__OBJ)) => s__hasPurposeForAgent(V__ATTACK, V__AGENT, ( ? [V__DAMAGE:$i] : ((s__instance(V__DAMAGE, s__Damaging) & s__patient(V__DAMAGE, V__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 |
| ! [V__AGENT : $i,V__DEFENSE : $i] : (((s__instance(V__DEFENSE, s__DefensiveManeuver) & s__agent(V__DEFENSE, V__AGENT)) => s__hasPurposeForAgent(V__DEFENSE, V__AGENT, ~(( ? [V__DAMAGE:$i] : ((s__instance(V__DAMAGE, s__Damaging) & s__patient(V__DAMAGE, V__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 |
| ! [V__A : $i,V__P : $i] : ((s__inhibits(V__A, V__P) => ( ? [V__P2:$i] : ((s__agent(V__P2, V__A) & s__hasPurposeForAgent(V__P2, V__A, ~(( ? [V__P3:$i] : (s__instance(V__P3, V__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 |
| ! [V__BC : $i,V__H : $i] : (((s__instance(V__BC, s__BoosterChair) & s__instance(V__H, s__HumanChild)) => s__hasPurposeForAgent(V__BC, V__H, (s__attribute(V__H, s__Sitting) & s__eventLocated(V__H, V__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 |
| ! [V__C : $i,V__I : $i] : (((s__instance(V__I, s__HealthInsuranceCompany) & s__customer(V__I, V__C)) => s__hasPurposeForAgent(V__I, V__C, ( ? [V__D:$i, V__P:$i] : (((s__instance(V__D, s__DiagnosticProcess) | s__instance(V__D, s__TherapeuticProcess)) & s__experiencer(V__D, V__C) & s__instance(V__P, s__Payment) & s__agent(V__P, V__I) & s__refers(V__P, V__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 |
| ! [V__DC : $i] : ((s__instance(V__DC, s__DrugCandidate) => ( ? [V__O:$i] : ((s__instance(V__O, s__Organization) & s__hasPurposeForAgent(V__DC, V__O, s__instance(V__DC, s__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 |
| ! [V__AGENT : $i,V__ATTR : $i,V__PARK : $i] : (((s__instance(V__PARK, s__DisabledParking) & s__instance(V__AGENT, s__Human) & s__attribute(V__AGENT, V__ATTR) & s__instance(V__ATTR, s__Disability)) => s__hasPurposeForAgent(V__PARK, V__AGENT, ( ? [V__EVENT:$i, V__TD:$i] : ((s__instance(V__EVENT, s__Putting) & s__playsRoleInEvent(V__PARK, s__destination, V__EVENT) & s__playsRoleInEvent(V__TD, s__patient, V__EVENT) & s__instance(V__TD, s__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 |
