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 之间在意义上存在着一个重要的差异。虽然后者的第二个参数可以满足前者的第二个参数，常规目标是一个预期和受期待的成果，而结果可以是预期或者受期待的。例如：一个机器过程可以有出果却没有目标，毫无目的的游荡会有一个成果却没有目标，一个学习过程可以有目标却没有任何的成果，如此类推。"')	chinese_format.kif 2091-2096
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 3774-3784
s__domain(s__hasPurpose__m,n__1,s__Physical)	Merge.kif 3771-3771	The number 1 argument of has purpose is an instance of physical
s__domain(s__hasPurpose__m,n__2,s__Formula)	Merge.kif 3772-3772	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 3770-3770	has purpose is an instance of asymmetric relation
s__instance(s__hasPurpose__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	Merge.kif 3769-3769	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 %n{does not have} purpose %2"')	english_format.kif 115-115
s__termFormat(s__ChineseLanguage,s__hasPurpose__m,'"意图"')	chinese_format.kif 116-116
s__termFormat(s__ChineseLanguage,s__hasPurpose__m,'"有目的"')	domainEnglishFormat.kif 27469-27469
s__termFormat(s__ChineseTraditionalLanguage,s__hasPurpose__m,'"有目的"')	domainEnglishFormat.kif 27468-27468
s__termFormat(s__EnglishLanguage,s__hasPurpose__m,'"has purpose"')	domainEnglishFormat.kif 27467-27467

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27682-27694	If Collectible is an attribute of an object and the object 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 27611-27616	If DeviceDamaged is an attribute of an object and the object 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 27584-27588	If DeviceNormal is an attribute of an object and the object 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 2268-2272	If functioning is an attribute of an object and the object purpose a formula, then the formula is true
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2278-2282	If malfunctioning is an attribute of an object and the object purpose a formula, then the formula is false
No TPTP formula. May not be expressible in strict first order.	Government.kif 2303-2310	If a cognitive agent is an instance of political pressure group and the cognitive agent 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 geographic area の government believes the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15599-15604	If a process is an instance of installing and a physical is a patient of the process and the physical 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 800-807	If process failure is the status of a computer process and the computer process 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 3799-3802	If a physical purpose a formula, then there exists an agent such that the physical 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 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 405-416	If demo recording is an attribute of an object and the object is an instance of recording, then the object 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 18261-18282	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 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 1298-1309	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 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 1970-1979	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 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 1619-1630	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 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 1632-1644	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 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 19555-19567	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 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 2003-2012	If a physical is an instance of barricade and the physical is partly located in an object, then the physical 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 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 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 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 1656-1664	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 purpose the object is connected to the objectS
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1737-1757	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 は the object を contains %n{ない}, 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 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 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 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 1467-1478	If an organization is an instance of government cabinet and the organization は組織 a geopolitical area の government の一部では %n and the geopolitical area is an instance of geopolitical area, then the organization 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 geopolitical area の government is a leader of the other entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2156-2165	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 purpose the process prevents the occurrence of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2174-2184	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 purpose the process prevents the occurrence of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2013-2023	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 purpose the process prevents the occurrence of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1459-1469	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 proliferationWMD and the process 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 609-622	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 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 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 618-630	If a process is an instance of precise destruction and an entity is a patient of the process, then the process 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 1857-1869	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 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 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 3297-3303

IBookstore 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: