hasPurpose |
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 の間には重要な意味の違いが ある。 後者の第2の引数は前者の第2の引数を満たすことができ、従来の目標は期待される望ましい結果 だが、結果も期待も望ましくないかもしれない。 たとえば、機械プロセスには結果が出ないが、目標はなく、 目的のない放浪は結果を持つかもしれないが、目標はなく、学習プロセスには結果のない目標を持つ場合が ある。") | japanese_format.kif 739-746 | |
(domain hasPurpose 1 Physical) | Merge.kif 3946-3946 | hasPurpose の数値 1 引数は 物理 の instance では %n |
(domain hasPurpose 2 Formula) | Merge.kif 3947-3947 | hasPurpose の数値 2 引数は 公式 の instance では %n |
(instance hasPurpose AsymmetricRelation) | Merge.kif 3945-3945 | hasPurpose は 非対称関係 の instance では %n |
(instance hasPurpose BinaryPredicate) | Merge.kif 3944-3944 | hasPurpose は 2進述語 の instance では %n |
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 |
(=> (and (attribute ?C Collectible) (hasPurpose ?C ?P)) (exists (?H ?P2) (and (instance ?H Human) (wants ?H ?C) (desires ?H ?P2) (entails ?P2 (possesses ?H ?C)) (not (equal ?P ?P2))))) |
Mid-level-ontology.kif 29791-29803 | |
(=> (and (attribute ?D DeviceDamaged) (hasPurpose ?D ?F)) (not (modalAttribute ?F Possibility))) |
Mid-level-ontology.kif 29742-29747 |
|
(=> (and (attribute ?D DeviceNormal) (hasPurpose ?D ?F)) (modalAttribute ?F Possibility)) |
Mid-level-ontology.kif 29715-29719 |
|
(=> (and (attribute ?DEVICE Functioning) (hasPurpose ?DEVICE ?PROP)) (truth ?PROP True)) |
Mid-level-ontology.kif 1837-1841 | |
(=> (and (attribute ?DEVICE Malfunctioning) (hasPurpose ?DEVICE ?PROP)) (truth ?PROP False)) |
Mid-level-ontology.kif 1847-1851 | |
(=> (and (holdsDuring ?T (attribute ?H (DeadOrMissingBodyPartFn ?P))) (instance ?PI ?P) (part ?PI ?H) (hasPurpose ?PI ?F)) (not ?F)) |
Merge.kif 18325-18333 | |
(=> (and (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn ?P))) (instance ?PI ?P) (part ?PI ?H) (hasPurpose ?PI ?F)) (modalAttribute (not ?F) Likely)) |
Merge.kif 18304-18314 | |
(=> (and (instance ?GROUP PoliticalPressureGroup) (hasPurpose ?GROUP ?FORMULA) (agentOperatesInArea ?GROUP ?AREA) (instance ?AREA Nation)) (desires ?GROUP (believes (GovernmentFn ?AREA) ?FORMULA))) |
Government.kif 2326-2333 | |
(=> (and (instance ?INSTALL Installing) (patient ?INSTALL ?DEVICE) (hasPurpose ?DEVICE ?PURPOSE)) (holdsDuring (EndFn (WhenFn ?INSTALL)) (truth ?PURPOSE True))) |
Mid-level-ontology.kif 18155-18160 | |
(=> (and (status ?Process ProcessFailure) (hasPurpose ?Process ?Purpose)) (not (holdsDuring (ImmediatePastFn (WhenFn ?Process)) ?Purpose))) |
QoSontology.kif 802-809 |
|
(=> (hasPurpose ?THING ?PURPOSE) (exists (?AGENT) (hasPurposeForAgent ?THING ?PURPOSE ?AGENT))) |
Merge.kif 3974-3977 |
|
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 は ?D ?D は DownloadingOverNetwork の instance では %n iBookstore は ?D の instrument では %n ?T は テキスト の instance では %n objectTransferred ?D and ?T の 目的 %n{ない} |