Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hasPurpose
hasPurpose

appearance as argument number 1
-------------------------


s__documentation(s__hasPurpose__m,s__ChineseLanguage,'"这个 Predicate 表达一个常规目标的概念,也就是说这个 目标事出自一个中立主事者的意图。 因此,(hasPurpose ?THING ?FORMULA) 的意思是 Physical 的实例 ?THING 的意图是由 ?FORMULA 所表达的 Proposition。注:Predicates hasPurposeresult 之间在意义上存在着一个重要的差异。虽然后者的第二个参数可以满足前者的第二个参数,常规目标是一个预期和 受期待的成果,而结果可以是预期或者受期待的。例如:一个机器过程可以有出果却没有目标,毫无目的的游荡会有一个 成果却没有目标,一个学习过程可以有目标却没有任何的成果,如此类推。"')

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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27611-27616
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27584-27588
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2268-2272
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2278-2282
No TPTP formula. May not be expressible in strict first order. Government.kif 2303-2310
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15599-15604
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 800-807
No TPTP formula. May not be expressible in strict first order. Merge.kif 3799-3802

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 57-75
No TPTP formula. May not be expressible in strict first order. Music.kif 405-416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18261-18282
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1298-1309
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1970-1979
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1619-1630
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1632-1644
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19555-19567
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2003-2012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3949-3959
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
No TPTP formula. May not be expressible in strict first order. Cars.kif 1656-1664
No TPTP formula. May not be expressible in strict first order. Cars.kif 1737-1757
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5730-5739
No TPTP formula. May not be expressible in strict first order. Cars.kif 349-361
No TPTP formula. May not be expressible in strict first order. Government.kif 1467-1478
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2156-2165
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2174-2184
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2013-2023
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1459-1469
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 609-622
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 405-416
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 618-630
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1857-1869
No TPTP formula. May not be expressible in strict first order. Cars.kif 509-521

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