Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| hasPurposeForAgent |
| appearance as argument number 1 |
|
| (instance hasPurposeForAgent TernaryPredicate) | Merge.kif 4064-4064 | has purpose for agent is an instance of ternary predicate |
| (domain hasPurposeForAgent 1 Physical) | Merge.kif 4065-4065 | The number 1 argument of has purpose for agent is an instance of physical |
| (domain hasPurposeForAgent 2 AutonomousAgent) | Merge.kif 4066-4066 | The number 2 argument of has purpose for agent is an instance of agent |
| (domain hasPurposeForAgent 3 Formula) | Merge.kif 4067-4067 | The number 3 argument of has purpose for agent is an instance of formula |
| (documentation hasPurposeForAgent EnglishLanguage "Expresses a cognitive attitude of an agent with respect to a particular instance of Physical. More precisely, (hasPurposeForAgent ?THING ?FORMULA ?AGENT) means that the purpose of ?THING for ?AGENT is the proposition expressed by ?FORMULA. Very complex issues are involved here. In particular, the rules of inference of the first order predicate calculus are not truth-preserving for the second argument position of this Predicate.") | Merge.kif 4069-4075 | The number 3 argument of has purpose for agent is an instance of formula |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage hasPurposeForAgent "has purpose for agent") | domainEnglishFormat.kif 27554-27554 | |
| (termFormat ChineseTraditionalLanguage hasPurposeForAgent "有代理人的目的") | domainEnglishFormat.kif 27555-27555 | |
| (termFormat ChineseLanguage hasPurposeForAgent "有代理人的目的") | domainEnglishFormat.kif 27556-27556 | |
| (format EnglishLanguage hasPurposeForAgent "%1 %p{has} %n{does not have} the purpose %2 for %3") | english_format.kif 117-117 |
| consequent |
|
|
| (=> (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 |
|