賦予義務 (confersObligation)

Expresses the relationship between a subclass of Process, an Entity, and a CognitiveAgent when the Entity obligates the CognitiveAgent to perform instances of the Process type specified, i.e. to be an agent of instances of the Process type.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

種類

可繼承關係

三元述詞

賦予義務

Coordinate term(s)

標高介於能力條件或然率賦予權力相連深度距離領域領域次種類施事者有意圖連結有...職位相對方位偏愛 SUMO外部相關概念施事者呈現以...語言呈現時間介於時間介於或同時

Type restrictions

confersObligation(subclass 歷程, 實體, 具認知力施事者)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (4)

賦予義務內部相關於賦予權力.

(relatedInternalConcept confersObligation confersRight)

If agent1 賦予 agent2 義務執行類型 process 任務, then agent2 有義務執行類型 process 任務.

(=>
      (confersObligation ?PROCESS ?AGENT1 ?AGENT2)
      (holdsObligation ?PROCESS ?AGENT2))

If declare 是宣告的實例 and declare 是 agent1 的施事者, then there exist proc,agent2 so that declare 賦予 agent2 權力執行類型 proc 任務 or declare 賦予 agent2 義務執行類型 proc 任務.

(=>
      (and
            (instance ?DECLARE Declaring)
            (agent ?DECLARE ?AGENT1))
      (exists
            (?PROC ?AGENT2)
            (or
                  (confersRight ?PROC ?DECLARE ?AGENT2)
                  (confersObligation ?PROC ?DECLARE ?AGENT2))))

If doc 是證書的實例 and agent (沒) 擁有not(s) doc, then there exists proc so that doc 賦予 agent 權力執行類型 proc 任務 or doc 賦予 agent 義務執行類型 proc 任務.

(=>
      (and
            (instance ?DOC Certificate)
            (possesses ?AGENT ?DOC))
      (exists
            (?PROC)
            (or
                  (confersRight ?PROC ?DOC ?AGENT)
                  (confersObligation ?PROC ?DOC ?AGENT))))