使用 (uses)

(uses object AGENT) means that object is used by agent as an instrument in an unspecified Process. This Predicate, as its corresponding axiom indicates, is a composition of the CaseRoles agent and instrument.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

種類

可繼承關係

二元述詞

不對稱關係

使用

Coordinate term(s)

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

Type restrictions

uses(物體, 施事者)

Related WordNet synsets

use, usage, utilization, utilisation, employment, exercise: the act of using; "the steps were worn from years of use"
employed, made use of(p): put to use
used: employed in accomplishing something; "the principle of surprise is the most used and misused of all the principles of war"- H.H.Arnold & I.C.Eaker
utilized: put to use
applied: that are used; "an isotropic resonance shift...to lower applied fields"

See more related synsets on a separate page.

Axioms (1)

If agent 使用 obj, then there exists proc so that proc 是 agent 的施事者 and obj 對 proc 是工具.

(=>
      (uses ?OBJ ?AGENT)
      (exists
            (?PROC)
            (and
                  (agent ?PROC ?AGENT)
                  (instrument ?PROC ?OBJ))))