有意圖 (hasPurpose)

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.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

種類

可繼承關係

二元述詞

不對稱關係

有意圖

Coordinate term(s)

反面函數計數函數正面函數主體函數或然率函數表皮函數弧線重量屬性作者先於或同時肇因次類肇因公民封閉於填滿相連的包含訊息共生複製相交日期降低可能性發展期形式無交集分配文字說明持續時間較早編者元素雇用相等等同關係於利用以...語言表達面對家族關係填充完成次數圖部分大於大於或等於有技巧在...期間為真須使...為真有權使...為真洞同一元素直接實例直接次種類串列中在注意範圍中增加可能性獨立或然率居住抑制初始化序列實例倒序非反射於... 大於小於小於或等於方式/情狀物質測量時段相接成員情態屬性時段重疊雙親偏序於... 部分填充部分位於路徑長穿入擁有先決條件避免正部分適當填充特性出版範圍範圍次種類實現提及反射於... SUMO內部相關概念兄弟姊妹小於開始次屬性次聚集次圖次序列次歷程次命題次種類次關係包含訊息種類包含訊息實例續接屬性封閉續接屬性表面時間部分時間全序於... 三分法使用（結合）價人造物版本

Type restrictions

hasPurpose(物質的, SUO-KIF表述式)

Related WordNet synsets

motivation, motive, need: the psychological feature that arouses an organism to action; the reason for the action; "we did not understand his motivation"; "he acted with the best of motives"
function, purpose, role, use: what something is used for; "the function of an auger is to bore holes"; "ballet is beautiful but what use is it?"
purposefulness, sense of purpose: the quality of having a definite purpose
bourn, bourne: an archaic term for a goal or destination
goal, end: the state of affairs that a plan is intended to achieve and that (when achieved) terminates behavior intended to achieve it; "the ends justify the means"
aim, object, objective, target: the goal intended to be attained (and which is believed to be attainable); "the sole object of her trip was to see her children"
purpose, intent, intention, aim, design: an anticipated outcome that is intended or guides your planned actions; "his intent was to provide a new translation"; "it was created with the conscious aim of answering immediate needs"; "he made no secret of his designs"
view: the phrase "with a view to" means "with the intention of"; "he took the computer with a view to pawning it"
purposefully: in a purposeful manner; "he caught the motorcycles in the full glare of his headlights, braked and slipped purposefully out of the car"

See more related synsets on a separate page.

Axioms (9)

If thing 有意圖 purpose, then there exists agent so that thing 對agent 有意圖 purpose.

(=>
      (hasPurpose ?THING ?PURPOSE)
      (exists
            (?AGENT)
            (hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))

If education 是教育歷程的實例 and person 是 education 的受事者, then education 有意圖 "there exists 學習 learn so that person 是 learn 的受事者".

(=>
      (and
            (instance ?EDUCATION EducationalProcess)
            (patient ?EDUCATION ?PERSON))
      (hasPurpose
            ?EDUCATION
            (exists
                  (?LEARN)
                  (and
                        (instance ?LEARN Learning)
                        (patient ?LEARN ?PERSON)))))

If pretend 是偽裝的實例, then there exist person,prop so that pretend 有意圖 "person (不)相信 prop" and prop &$是真的.

(=>
      (instance ?PRETEND Pretending)
      (exists
            (?PERSON ?PROP)
            (and
                  (hasPurpose
                        ?PRETEND
                        (believes ?PERSON ?PROP))
                  (true ?PROP True))))

If advert 是廣告的實例, then there exists obj so that advert 參照 obj and advert 有意圖 "there exists 銷售 sale so that obj 是 sale 的受事者".

(=>
      (instance ?ADVERT Advertising)
      (exists
            (?OBJ)
            (and
                  (refers ?ADVERT ?OBJ)
                  (hasPurpose
                        ?ADVERT
                        (exists
                              (?SALE)
                              (and
                                    (instance ?SALE Selling)
                                    (patient ?SALE ?OBJ)))))))

If meet 是會面的實例, then there exist agent1,agent2 so that meet 是 agent1 的施事者 and meet 是 agent2 的施事者 and meet 有意圖 "there exists 溝通 comm so that comm 是 agent1 的施事者 and comm 是 agent2 的施事者".

(=>
      (instance ?MEET Meeting)
      (exists
            (?AGENT1 ?AGENT2)
            (and
                  (agent ?MEET ?AGENT1)
                  (agent ?MEET ?AGENT2)
                  (hasPurpose
                        ?MEET
                        (exists
                              (?COMM)
                              (and
                                    (instance ?COMM Communication)
                                    (agent ?COMM ?AGENT1)
                                    (agent ?COMM ?AGENT2)))))))

If organ 是器官的實例, then there exists purp so that organ 有意圖 purp.

(=>
      (instance ?ORGAN Organ)
      (exists
            (?PURP)
            (hasPurpose ?ORGAN ?PURP)))

If device 是裝置的實例, then there exists 歷程 proc so that device 有意圖 "device 可以任角色工具做 proc".

(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (hasPurpose
                        ?DEVICE
                        (capability ?PROC instrument ?DEVICE)))))

If weapon 是武器的實例, then weapon 有意圖 "there exist 損害 dest,patient so that patient 是 dest 的受事者 and

patient 是固定人造物的實例
patient 是動物的實例
there exists 動物 animal so that animal 住s 在 patient

(=>
      (instance ?WEAPON Weapon)
      (hasPurpose
            ?WEAPON
            (exists
                  (?DEST ?PATIENT)
                  (and
                        (instance ?DEST Damaging)
                        (patient ?DEST ?PATIENT)
                        (or
                              (instance ?PATIENT StationaryArtifact)
                              (instance ?PATIENT Animal)
                              (exists
                                    (?ANIMAL)
                                    (and
                                          (instance ?ANIMAL Animal)
                                          (inhabits ?ANIMAL ?PATIENT))))))))

If plan 是計畫的實例, then there exists purp so that plan 有意圖 purp.

(=>
      (instance ?PLAN Plan)
      (exists
            (?PURP)
            (hasPurpose ?PLAN ?PURP)))