| appearance as argument number 1 |
|
| (documentation hasPurpose ChineseLanguage "这个 Predicate 表达一个常规目标的概念，也就是说这个 目标事出自一个中立主事者的意图。 因此，(hasPurpose ?THING ?FORMULA) 的意思是 Physical 的实例 ?THING 的意图是由 ?FORMULA 所表达的 Proposition。注：Predicates hasPurpose 和 result 之间在意义上存在着一个重要的差异。虽然后者的第二个参数可以满足前者的第二个参数，常规目标是一个预期和 受期待的成果，而结果可以是预期或者受期待的。例如：一个机器过程可以有出果却没有目标，毫无目的的游荡会有一个 成果却没有目标，一个学习过程可以有目标却没有任何的成果，如此类推。") | chinese_format.kif 2091-2096 | |
| (documentation hasPurpose EnglishLanguage "This Predicate expresses the concept of a conventional goal, i.e. a goal with a neutralized agent's 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 3949-3959 | |
| (documentation hasPurpose JapaneseLanguage "この Predicate は、従来の目標、すなわち概念を表 す。 例：中和されたエージェントの意図を持つ目標。それに応じて、(hasPurpose ?THING ?FORMULA) とは、Physical ?THING のインスタンスが、その目的として、?FORMULA によって表される Proposition を有することを意味する。 注：Predicates hasPurpose と result の間には重要な意味の違いが ある。 後者の第２の引数は前者の第２の引数を満たすことができ、従来の目標は期待される望ましい結果 だが、結果も期待も望ましくないかもしれない。 たとえば、機械プロセスには結果が出ないが、目標はなく、 目的のない放浪は結果を持つかもしれないが、目標はなく、学習プロセスには結果のない目標を持つ場合が ある。") | japanese_format.kif 739-746 | |
| (domain hasPurpose 1 Physical) | Merge.kif 3946-3946 | The number 1 argument of has purpose is an instance of physical |
| (domain hasPurpose 2 Formula) | Merge.kif 3947-3947 | The number 2 argument of has purpose is an instance of formula |
| (instance hasPurpose AsymmetricRelation) | Merge.kif 3945-3945 | has purpose is an instance of asymmetric relation |
| (instance hasPurpose BinaryPredicate) | Merge.kif 3944-3944 | has purpose is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage hasPurpose "%1 的 目的 %n 是 %2") | chinese_format.kif 115-115 | |
| (format EnglishLanguage hasPurpose "%1 %p{has} %n{does not have} the purpose %2") | english_format.kif 115-115 | |
| (format FrenchLanguage hasPurpose "%1 a %n pour but %2") | french_format.kif 79-79 | |
| (format ItalianLanguage hasPurpose "%1 ha %n scopo %2") | relations-it.txt 124-124 | |
| (format JapaneseLanguage hasPurpose "%1 は %2 の 目的 %n{ない}") | japanese_format.kif 1906-1906 | |
| (format PortugueseLanguage hasPurpose "%1 tem %n por fim %2") | portuguese_format.kif 31-31 | |
| (format cz hasPurpose "%1 has %n purpose %2") | relations-cz.txt 120-120 | |
| (format de hasPurpose "%1 hat Zweck von %2 %n{nicht}") | relations-de.txt 133-133 | |
| (format hi hasPurpose "%1 kaa lakshya %2 %n hai") | relations-hindi.txt 164-164 | |
| (format ro hasPurpose "%1 %n{nu} are purpose%t{scopul} %2") | relations-ro.kif 98-98 | |
| (format sv hasPurpose "%1 har %n{inte} syftet %2") | relations-sv.txt 78-78 | |
| (format tg hasPurpose "%1 %n may ang layon %2") | relations-tg.txt 254-254 | |
| (termFormat ChineseLanguage hasPurpose "意图") | chinese_format.kif 116-116 | |
| (termFormat ChineseLanguage hasPurpose "有目的") | domainEnglishFormat.kif 27580-27580 | |
| (termFormat ChineseTraditionalLanguage hasPurpose "有目的") | domainEnglishFormat.kif 27579-27579 | |
| (termFormat EnglishLanguage hasPurpose "has purpose") | domainEnglishFormat.kif 27578-27578 | |
| (termFormat de hasPurpose "hatZweck") | terms-de.txt 39-39 | |
| (termFormat tg hasPurpose "may layon") | relations-tg.txt 255-255 |
| antecedent |
|
|
| consequent |
|
|
| appearance as argument number 0 |
|
|
| (hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3309-3315 | IBookstore has the 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 3.0 is open source software produced by Articulate Software and its partners