hasPurposeForAgent - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - hasPurposeForAgent

hasPurposeForAgent

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2097-2100
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3967-3973
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 747-751
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3963-3963	The number 1 argument of has purpose for agent is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3964-3964	The number 2 argument of has purpose for agent is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3965-3965	The number 3 argument of has purpose for agent is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3962-3962	has purpose for agent is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 117-117
No TPTP formula. May not be expressible in strict first order.	english_format.kif 117-117
No TPTP formula. May not be expressible in strict first order.	french_format.kif 80-80
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 125-125
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1907-1907
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 32-32
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 121-121
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 136-136
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 165-165
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 99-99
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 79-79
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 256-256
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 118-118
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27580-27580
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27579-27579
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27578-27578
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 40-40
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 257-257

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13548-13557	If a process is an instance of attack and an agent is an agent of the process and an entity is a patient of the process, then the process has the purpose there exists another entity such that the other entity is an instance of damaging and the entity is a patient of the other entity for the agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 840-847	If a physical is an instance of booster chair and an agent is an instance of human child, then the physical has the purpose sitting is an attribute of the agent and the agent is located at the physical for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13570-13579	If a process is an instance of defensive maneuver and an agent is an agent of the process, then the process has the purpose there doesn't exist an entity such that the entity is an instance of damaging and the agent is a patient of the entity for the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8339-8352	If a cognitive agent is an instance of health insurance company and an agent is a customer of the cognitive agent, then the cognitive agent has the purpose there exist an entity and another entity such that the entity is an instance of diagnostic process or the entity is an instance of therapeutic process and the agent experiences the entity and the other entity is an instance of payment and the cognitive agent is an agent of the other entity and the other entity includes a reference to the entity for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13080-13086	If a process is an instance of investigating and an agent is an agent of the process and an entity is a patient of the process, then the process has the purpose the agent knows the entity for the agent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 51-63	If a physical is an instance of disabled parking and an agent is an instance of human and an attribute is an attribute of the agent and the attribute is an instance of disability, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of putting and the physical plays role in event destination for the entity and the other entity plays role in event patient for the entity and the other entity is an instance of transportation device for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13097-13102	If a process is an instance of diagnostic process and an agent is an agent of the process, then there exists an entity such that the process has the purpose the agent knows the entity causes the process for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10614-10619	If a process is an instance of intentional process and an agent is an agent of the process, then there exists a formula such that the process has the purpose the formula for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13123-13136	If a process is an instance of searching and a physical is a patient of the process and the physical is an instance of physical, then there exist an object and an agent such that the agent is an instance of cognitive agent and the agent is an agent of the process and the object is an instance of object and the physical is located at the object and the process has the purpose the agent knows the physical is located at the object for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3975-3978	If a physical has the purpose a formula, then there exists an agent such that the physical has the purpose the formula for the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19966-19975	If an agent inhibits a kind of process, then there exists a kind of process2 such that the agent is an agent of the kind of process2 and the kind of process2 has the purpose there doesn't exist the kind of process3 such that the kind of process3 is an instance of the kind of process for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13448-13459	If a process is an instance of contest, then there exist an agent, another agent,, , a formula and another formula such that the agent is an agent of the process and the other agent is an agent of the process and the process has the purpose the formula for the agent and the process has the purpose the other formula for the other agent and the agent is not equal to the other agent and the formula is not equal to the other formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13407-13413	If a process is an instance of cooperation, then there exists a formula such that for all an agent if the agent is an agent of the process, then the process has the purpose the formula for the agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3090-3097	If a physical is an instance of drug candidate, then there exists an agent such that the agent is an instance of organization and the physical has the purpose the physical is an instance of medicine for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13109-13121	If a process is an instance of searching, then there exist an agent, a physical and an object such that the agent is an instance of cognitive agent and the agent is an agent of the process and the physical is an instance of physical and the physical is a patient of the process and the object is an instance of object and the physical is located at the object and the process has the purpose the agent knows the physical is located at the object for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2768-2771	If a cognitive agent wants a physical, then there exists a formula such that the physical has the purpose the formula for the cognitive agent

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners