Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

情態屬性 (modalAttribute)

A BinaryRelation that is used to state the normative force of a Proposition. (modalAttribute formula prop) means that the Proposition expressed by formula has the NormativeAttribute prop. For example, (modalAttribute (exists (act obj) (and (instance act Giving) (agent act John) (patient act obj) (destination act Tom))) Obligation) means that John is obligated to give Tom something.

Ontology

SUMO / QUALITIES

Class(es)

種類
is instance of
  可繼承關係  
is instance of
  二元述詞  
is instance of
不對稱關係
is instance of
非反身關係
is instance of
is instance of
  情態屬性  

Superrelation(s)

特性
is subrelation of
  情態屬性  

Coordinate term(s)

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

Type restrictions

modalAttribute(SUO-KIF表述式, 規範屬性)

Axioms (9)

If order 是 命令 的 實例 and formula 是 order 的 受事者, then 陳述 formula 有 義務 的 型態意義. 
(=>
      (and
            (instance ?ORDER Ordering)
            (patient ?ORDER ?FORMULA))
      (modalAttribute ?FORMULA Obligation))
If commit 是 承諾 的 實例 and formula 是 commit 的 受事者 and formula 是 SUO-KIF表述式 的 實例, then 陳述 formula 有 承諾 的 型態意義. 
(=>
      (and
            (instance ?COMMIT Committing)
            (patient ?COMMIT ?FORMULA)
            (instance ?FORMULA Formula))
      (modalAttribute ?FORMULA Promise))
If 陳述 formula1 有 prop 的 型態意義 and 推知(formula1,formula2) holds, then 陳述 formula2 有 prop 的 型態意義. 
(=>
      (and
            (modalAttribute ?FORMULA1 ?PROP)
            (entails ?FORMULA1 ?FORMULA2))
      (modalAttribute ?FORMULA2 ?PROP))
If agent 有義務 執行 類型 process 任務, then 陳述 "there exists process instance so that instance 是 agent 的 施事者" 有 義務 的 型態意義. 
(=>
      (holdsObligation ?PROCESS ?AGENT)
      (modalAttribute
            (exists
                  (?INSTANCE)
                  (and
                        (instance ?INSTANCE ?PROCESS)
                        (agent ?INSTANCE ?AGENT)))
            Obligation))
If agent 有 權 使 process 為真, then 陳述 "there exists process instance so that instance 是 agent 的 施事者" 有 許可 的 型態意義. 
(=>
      (holdsRight ?PROCESS ?AGENT)
      (modalAttribute
            (exists
                  (?INSTANCE)
                  (and
                        (instance ?INSTANCE ?PROCESS)
                        (agent ?INSTANCE ?AGENT)))
            Permission))
陳述 formula 有 必要性 的 型態意義 if and only if 陳述 "formula" 有 可能性 的 型態意義. 
(<=>
      (modalAttribute ?FORMULA Necessity)
      (not
            (modalAttribute
                  (not ?FORMULA)
                  Possibility)))
If 陳述 formula 有 必要性 的 型態意義, then 陳述 formula 有 可能性 的 型態意義. 
(=>
      (modalAttribute ?FORMULA Necessity)
      (modalAttribute ?FORMULA Possibility))
陳述 formula 有 義務 的 型態意義 if and only if 陳述 "formula" 有 許可 的 型態意義. 
(<=>
      (modalAttribute ?FORMULA Obligation)
      (not
            (modalAttribute
                  (not ?FORMULA)
                  Permission)))
If 陳述 formula 有 義務 的 型態意義, then 陳述 formula 有 許可 的 型態意義. 
(=>
      (modalAttribute ?FORMULA Obligation)
      (modalAttribute ?FORMULA Permission))