hasPurpose - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4062-4067
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4051-4061
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4049-4049	The number 1 argument of has purpose is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4050-4050	The number 2 argument of has purpose is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4048-4048	has purpose is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4047-4047	has purpose is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 115-115
No TPTP formula. May not be expressible in strict first order.	english_format.kif 84-84
No TPTP formula. May not be expressible in strict first order.	french_format.kif 79-79
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 124-124
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 31-31
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 29-29
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 120-120
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 133-133
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 164-164
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 254-254
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 116-116	"意图" is the printable form of has purpose in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5012-5012	"has purpose" is the printable form of has purpose in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 479-479	"«عِنْدَه غَايَة»" is the printable form of has purpose in ar
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 255-255	"may layon" is the printable form of has purpose in tg

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27236-27248	If Collectible is an attribute of an object and the object has purpose a formula, then there exists a cognitive agent such that the cognitive agent is an instance of human and the cognitive agent wants the object and the cognitive agent desires the formula2 and the formula2 entails the cognitive agent possesses the object and the formula is not equal to the formula2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27165-27170	If DeviceDamaged is an attribute of an object and the object has purpose a formula, then the statement the formula doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27138-27142	If DeviceNormal is an attribute of an object and the object has purpose a formula, then the statement the formula has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2273-2277	If functioning is an attribute of an object and the object has purpose a formula, then the formula is true
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2283-2287	If malfunctioning is an attribute of an object and the object has purpose a formula, then the formula is false
No TPTP formula. May not be expressible in strict first order.	Government.kif 2309-2316	If an agent is an instance of political pressure group and the agent has purpose a formula and a geopolitical area is an agent operates in area of the agent and the geopolitical area is an instance of nation, then the agent desires the government of the geopolitical area believes the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15297-15302	If a process is an instance of installing and a physical is a patient of the process and the physical has purpose a formula, then the formula is true holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 792-796	If process failure is the status of a computer process and the computer process has purpose a formula, then the formula doesn't hold during immediately before the time of existence of the computer process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4085-4088	If a physical has purpose a formula, then there exists an agent such that the physical has purpose the formula for the agent

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 57-75	If mausaharati is an attribute of an agent and a time interval is an instance of drumming and the agent is an agent of the time interval and the time intervalAY is an instance of day and a third time interval is an instance of sunrise and the third time interval takes place during the time interval and the time interval happens before the third time interval, then the time interval has purpose there exist another agent, the third time intervalUHUR and a fifth time interval such that the fifth time interval is an instance of waking up and the other agent experiences the fifth time interval and the third time intervalUHUR is an instance of suhur and the other agent is an agent of the third time intervalUHUR and the fifth time interval happens before the third time intervalUHUR and the fifth time interval takes place during the time intervalAY and the third time intervalUHUR takes place during the time intervalAY
No TPTP formula. May not be expressible in strict first order.	Music.kif 427-438	If demo recording is an attribute of a content bearing object and the content bearing object is an instance of recording, then the content bearing object has purpose there exist a process, an entity and the content bearing objectUSIC such that the process is an instance of demonstrating and the content bearing object is a record of the content bearing objectUSIC and the content bearing objectUSIC is a patient of the process and the process ends up at the entity and the entity is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17900-17921	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and another cognitive agent employs the cognitive agent and the other cognitive agent is an instance of restaurant and the other cognitive agent is a customer of a third cognitive agent and the third cognitive agent is located at an object and the object is an instance of table, then the other cognitive agent possesses another object and the other object is an instance of kitchen area and a third object is an instance of dining area and the object is located at the third object and the cognitive agent has purpose a process is an instance of carrying and the cognitive agent is an agent of the process and the process originates at the other object and the process ends up at the object and an entity is a patient of the process and the entity is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1294-1305	If an agent is a component of internet and an engineering component is a component of internet and the agent is not equal to the engineering component, then internet has purpose there exists a process such that the process is an instance of communication and the agent is an agent of the process and the process ends up at the engineering component and internet is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1618-1629	If an object is an instance of armor and the object is a part of an agent or the object meets the agent, then the object has purpose there exists a process such that the process is an instance of maintaining and the object is an instrument for the process and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1631-1643	If an object is an instance of armor and the object is a part of an agent or the object meets the agent, then the object has purpose there doesn't exist a process such that the process is an instance of damaging and the object is an instrument for the process and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19123-19135	If a process is an instance of ambush and an agent is an agent of the process, then there exists another process such that the other process is an instance of concealing and the other process is a subprocess of the process and the other process has purpose there exists a third process such that the third process is an instance of attack and the agent is an agent of the third process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2002-2011	If a physical is an instance of barricade and the physical is partly located in an object, then the physical has purpose there doesn't exist a motion such that the motion is an instance of translocation and the object is path along which the motion occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3949-3959	If an object is an instance of vehicle brake and another object is an instance of vehicle and the object is a part of the other object, then the object has purpose there exists a process such that the process is an instance of the stop of motion and the other object is a patient of the process and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	If an object is an instance of brake pedal and a process is an instance of pushing and another object is an instance of vehicle and the process ends up at the object and the process is located at 2 and the object is a part of the other object, then the object has purpose there exist a third object and another process such that the third object is an instance of wearing friction surface and the other process is an instance of friction and the third object is an instrument for the other process and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1696-1704	If an engineering component is an instance of cam and the engineering componentS is an instance of camshaft and an object is an instance of engine and the engineering component is a part of the object and the engineering componentS is a part of the object, then the engineering componentS has purpose the engineering component is connected to the engineering componentS
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1777-1797	If a physical is an instance of cavitating and a self connected object is an instance of pump and device on is an attribute of the self connected object and liquid is an attribute of an object and the self connected object contains the object, then there exists the self connected objectP such that the self connected objectP is a part of the self connected object and the self connected objectP has purpose liquid is an attribute of a third object and the third object meets the self connected objectP and there doesn't exist a fourth object such that liquid is an attribute of the fourth object and the self connected objectP meets the fourth object holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5726-5735	If a process is an instance of concealing and an entity is a patient of the process, then the process has purpose there doesn't exist another process such that the other process is an instance of seeing and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 349-361	If an object is an instance of Crankshaft and another object is an instance of IntermittentCombustionEngine and the other object is a part of the object, then the object has purpose there exist a process and another process such that the process is an instance of explosion and the other process is an instance of rotating and the object is a patient of the other process and the other process is located at 2 and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1473-1484	If an organization is an instance of government cabinet and the organization is a part of the organization the government of a geopolitical area and the geopolitical area is an instance of geopolitical area, then the organization has purpose there exist a process and an agent such that the process is an instance of stating and the organization is an agent of the process and the agent is a patient of the process and the government of the geopolitical area is a leader of the agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2143-2152	If a process is an instance of counter operation and an agent is an agent of the process, then there exist another agent and another kind of process such that the agent and the other agent are enemies of each other and the other agent is an agent of another kind of process and the process has purpose the process prevents the occurrence of the other kind of process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2161-2171	If a process is an instance of counter reconnaissance and an agent is an agent of the process, then there exist another agent and another kind of process such that the agent and the other agent are enemies of each other and the other agent is an agent of another kind of process and the other kind of process is an instance of reconnaissance operation and the process has purpose the process prevents the occurrence of the other kind of process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2000-2010	If a process is an instance of counter terrorism and an agent is an agent of the process, then there exist another agent and another kind of process such that the agent and the other agent are enemies of each other and the other agent is an agent of another kind of process and the other kind of process is an instance of terrorism and the process has purpose the process prevents the occurrence of the other kind of process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1446-1456	If a process is an instance of counterproliferationWM d and an agent is an agent of the process, then there exist another agent and another kind of process such that the agent and the other agent are enemies of each other and the other agent is an agent of another kind of process and the other kind of process is an instance of proliferationWM d and the process has purpose the process prevents the occurrence of the other kind of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 610-623	If a process is an instance of dodging and an agent is an agent of the process and the processT is equal to the time of existence of the process, then the process has purpose there doesn't exist another process such that the processT meets the time of existence of the other process or the time of existence of the other process overlaps the processT and the other process is an instance of impacting and the agent is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 405-416	If a process is an instance of dressing and an object is an instance of oqal and an entity is an instance of hat and the object is a patient of the process and the entity is a patient of the process, then the object has purpose there exists another process such that the other process is an instance of attaching and the object is an instrument for the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 607-619	If a process is an instance of precise destruction and an entity is a patient of the process, then the process has purpose there doesn't exist another process such that the other process is an instance of damaging and the other process is a subprocess of the process and another entity is a patient of the other process and the entity is not equal to the other entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1844-1856	If a process is an instance of defensive information operation and an agent is an agent of the process and the agent and a cognitive agent are enemies of each other and the cognitive agent desires the cognitive agent knows a formula and the agent desires the cognitive agent doesn't know the formula, then the process has purpose the cognitive agent doesn't know the formula
No TPTP formula. May not be expressible in strict first order.	Cars.kif 509-521	If an object is an instance of EngineCylinder and a hole is an instance of Crankcase and another object is an instance of piston and a process is an instance of two stroke transfer and the other object is located at the object holds during the process and the object is equal to the host of the hole the hole and the process is located at 2, then the other object has purpose the other object partially fills the hole holds during the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 463-475	If an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and another object is an instance of piston and a process is an instance of two stroke intake and the other object is located at the object holds during the process and the object is equal to the host of the hole the hole and the process is located at 2, then the other object has purpose the other object partially fills the hole holds during the process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: