hasPurpose - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__hasPurpose__m,s__ChineseLanguage,'这个 Predicate 表达一个常规目标的概念，也就是说这个目标事出自一个中立主事者的意图。因此，(hasPurpose ?THING ?FORMULA) 的意思是 Physical 的实例 ?THING 的意图是由 ?FORMULA 所表达的 Proposition。注：Predicates hasPurpose 和 result 之间在意义上存在着一个重要的差异。虽然后者的第二个参数可以满足前者的第二个参数，常规目标是一个预期和受期待的成果，而结果可以是预期或者受期待的。例如：一个机器过程可以有出果却没有目标，毫无目的的游荡会有一个成果却没有目标，一个学习过程可以有目标却没有任何的成果，如此类推。')	Merge.kif 4089-4094
s__documentation(s__hasPurpose__m,s__EnglishLanguage,'This Predicate expresses the concept of a conventional goal, i.e. a goal with a neutralized agents intention. Accordingly, (hasPurpose ?THING ?FORMULA) means that the instance of Physical ?THING has, as its purpose, the Proposition expressed by ?FORMULA. Note that there is an important difference in meaning between the Predicates hasPurpose and result. Although the second argument of the latter can satisfy the second argument of the former, a conventional goal is an expected and desired outcome, while a result may be neither expected nor desired. For example, a machine process may have outcomes but no goals, aimless wandering may have an outcome but no goal, a learning process may have goals with no outcomes, and so on.')	Merge.kif 4078-4088
s__domain(s__hasPurpose__m,1,s__Physical)	Merge.kif 4076-4076	The number 1 argument of has purpose is an instance of physical
s__domain(s__hasPurpose__m,2,s__Formula)	Merge.kif 4077-4077	The number 2 argument of has purpose is an instance of formula
s__instance(s__hasPurpose__m,s__AsymmetricRelation) s__instance(s__AsymmetricRelation,s__SetOrClass)	Merge.kif 4075-4075	has purpose is an instance of asymmetric relation
s__instance(s__hasPurpose__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	Merge.kif 4074-4074	has purpose is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__hasPurpose__m,'%1 的目的 %n 是 %2')	chinese_format.kif 115-115
s__format(s__EnglishLanguage,s__hasPurpose__m,'%1 has %n purpose %2')	english_format.kif 84-84
s__termFormat(s__ChineseLanguage,s__hasPurpose__m,'意图')	chinese_format.kif 116-116	"意图" is the printable form of has purpose in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__hasPurpose__m,'has purpose')	domainEnglishFormat.kif 5012-5012	"has purpose" is the printable form of has purpose in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27677-27689	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 27606-27611	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 27579-27583	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 a cognitive agent is an instance of political pressure group and the cognitive agent has purpose a formula and a geographic area is an agent operates in area of the cognitive agent and the geographic area is an instance of nation, then the cognitive agent desires the government of the geographic area believes the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15598-15603	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 790-794	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 4112-4115	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 another time interval is an instance of sunrise and the other time interval takes place during the time interval and the time interval happens before the other time interval, then the time interval has purpose there exist another entity, the other time intervalUHUR and a fourth entity such that the fourth entity is an instance of waking up and the other entity experiences the fourth entity and the other time intervalUHUR is an instance of suhur and the other entity is an agent of the other time intervalUHUR and the fourth entity happens before the other time intervalUHUR and the fourth entity takes place during the time intervalAY and the other time intervalUHUR takes place during the time intervalAY
No TPTP formula. May not be expressible in strict first order.	Music.kif 411-422	If demo recording is an attribute of an object and the object is an instance of recording, then the object has purpose there exist an entity, another entity and the objectUSIC such that the entity is an instance of demonstrating and the object is a record of the objectUSIC and the objectUSIC is a patient of the entity and the entity ends up at the other entity and the other entity is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18259-18280	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 an entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the other object and the entity ends up at the object and another entity is a patient of the entity and the other 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 engineering component is a component of internet and another engineering component is a component of internet and the engineering component is not equal to the other engineering component, then internet has purpose there exists an entity such that the entity is an instance of communication and the engineering component is an agent of the entity and the entity ends up at the other engineering component and internet is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1885-1894	If a physical is an instance of Apple app store and the physical is a program running of a computer process and the computer process is running on a computer, then the physical has purpose there exists an entity such that the entity is an instance of Downloading and the entity originates at the computer
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 another object or the object meets the other object, then the object has purpose there exists an entity such that the entity is an instance of maintaining and the object is an instrument for the entity and the other object experiences the entity
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 another object or the object meets the other object, then the object has purpose there doesn't exist an entity such that the entity is an instance of damaging and the object is an instrument for the entity and the other object experiences the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19542-19554	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 an entity such that the entity is an instance of attack and the agent is an agent of the entity
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 an entity such that the entity is an instance of translocation and the object is path along which the entity occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3953-3963	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 an entity such that the entity is an instance of the stop of motion and the other object is a patient of the entity and the object is an instrument for the entity
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 an entity and another entity such that the entity is an instance of wearing friction surface and the other entity is an instance of friction and the entity is an instrument for the other entity and the process causes the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1655-1663	If an object is an instance of cam and the objectS is an instance of camshaft and a third object is an instance of engine and the object is a part of the third object and the objectS is a part of the third object, then the objectS has purpose the object is connected to the objectS
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1736-1756	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 an entity and the entity meets the self connected objectP and there doesn't exist another entity such that liquid is an attribute of the other entity and the self connected objectP meets the other entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5730-5739	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 entity such that the other entity is an instance of seeing and the entity is a patient of the other entity
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 an entity and another entity such that the entity is an instance of explosion and the other entity is an instance of rotating and the object is a patient of the other entity and the other entity is located at 2 and the entity causes the other entity
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 an entity and another entity such that the entity is an instance of stating and the organization is an agent of the entity and the other entity is a patient of the entity and the government of the geopolitical area is a leader of the other entity
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 process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the process has purpose the process prevents the occurrence of the other 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 process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the other process is an instance of reconnaissance operation and the process has purpose the process prevents the occurrence of the other 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 process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the other process is an instance of terrorism and the process has purpose the process prevents the occurrence of the other 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 process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the other process is an instance of proliferationWM d and the process has purpose the process prevents the occurrence of the other 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 an entity such that the processT meets the time of existence of the entity or the time of existence of the entity overlaps the processT and the entity is an instance of impacting and the agent is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 405-416	If a process is an instance of dressing and a physical is an instance of oqal and an entity is an instance of hat and the physical is a patient of the process and the entity is a patient of the process, then the physical has purpose there exists another entity such that the other entity is an instance of attaching and the physical is an instrument for the other entity
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 entity such that the other entity is an instance of damaging and the other entity is a subprocess of the process and a third entity is a patient of the other entity and the entity is not equal to the third 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 a cognitive agent is an agent of the process and the cognitive agent and another cognitive agent are enemies of each other and the other cognitive agent desires the other cognitive agent knows an entity and the cognitive agent desires the other cognitive agent doesn't know the entity, then the process has purpose the other cognitive agent doesn't know the entity
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 a physical is an instance of piston and a process is an instance of two stroke transfer and the physical 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 physical has purpose the physical partially fills the hole holds during the process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 3128-3134

IBookstore has purpose there exists ?D such that ?D is an instance of Downloading and iBookstore is an instrument for ?D and ?T is an instance of text and the object transferred in ?D is ?T

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: