| 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 4076-4081 | |
| 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 4065-4075 | |
| s__domain(s__hasPurpose__m,1,s__Physical)
|
Merge.kif 4063-4063 | |
| s__domain(s__hasPurpose__m,2,s__Formula)
|
Merge.kif 4064-4064 | |
| s__instance(s__AsymmetricRelation,s__SetOrClass)
|
Merge.kif 4062-4062 | |
| s__instance(s__BinaryPredicate,s__SetOrClass)
|
Merge.kif 4061-4061 |
| 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__format(s__FrenchLanguage,s__hasPurpose__m,'%1 a %n pour but %2')
|
french_format.kif 79-79 | |
| s__format(s__ItalianLanguage,s__hasPurpose__m,'%1 ha %n scopo %2')
|
relations-it.txt 124-124 | |
| s__format(s__PortugueseLanguage,s__hasPurpose__m,'%1 tem %n por fim %2')
|
portuguese_format.kif 31-31 | |
| s__format(s__ar__m,s__hasPurpose__m,'%1 عِنْدَه %n غَايَة %2')
|
arabic_format.kif 29-29 | |
| s__format(s__cz__m,s__hasPurpose__m,'%1 has %n purpose %2')
|
relations-cz.txt 120-120 | |
| s__format(s__de__m,s__hasPurpose__m,'%1 hat Zweck von %2 %n{nicht}')
|
relations-de.txt 133-133 | |
| s__format(s__hi__m,s__hasPurpose__m,'%1 kaa lakshya %2 %n hai')
|
relations-hindi.txt 164-164 | |
| s__format(s__tg__m,s__hasPurpose__m,'%1 %n may ang layon %2')
|
relations-tg.txt 254-254 | |
| s__termFormat(s__ChineseLanguage,s__hasPurpose__m,'意图')
|
chinese_format.kif 116-116 | |
| s__termFormat(s__EnglishLanguage,s__hasPurpose__m,'has purpose')
|
domainEnglishFormat.kif 5012-5012 | |
| s__termFormat(s__ar__m,s__hasPurpose__m,'«عِنْدَه غَايَة»')
|
arabic_format.kif 479-479 | |
| s__termFormat(s__tg__m,s__hasPurpose__m,'may layon')
|
relations-tg.txt 255-255 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27597-27609 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27526-27531 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27499-27503 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2273-2277 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2283-2287 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2309-2316 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15598-15603 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 775-779 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4099-4102 |
| 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 411-422 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18201-18222 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1294-1305 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1618-1629 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1631-1643 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19484-19496 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2002-2011 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3953-3963 | |
| 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 1655-1663 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1736-1756 | |
| 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 1473-1484 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2143-2152 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2161-2171 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2000-2010 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1446-1456 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 610-623 | |
| 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 607-619 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1844-1856 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 509-521 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 463-475 | |
| 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