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

SUO-KIF表述式 (Formula)

A syntactically well-formed formula in the SUO-KIF knowledge representation language.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
實體
is subclass of
  物質的  
is subclass of
  物體  
is subclass of
  自身連續物體  
is subclass of
  內容載體  
is subclass of
  語言表式  
is subclass of
[tree]
實體
is subclass of
  物質的  
is subclass of
  物體  
is subclass of
  自身連續物體  
is subclass of
  複雜體/非單質體  
is subclass of
  人造物  
is subclass of
is subclass of
  文本  
is subclass of
  句子  
is subclass of
  SUO-KIF表述式  

Constrains relations

若且唯若  若  種類描述函數  或然率函數  和  相信  條件或然率  考慮  降低可能性  冀求  推知  存在  所有  有意圖  施事者有意圖  在...期間為真  增加可能性  獨立或然率  知道  情態屬性  非  或  偏愛 

Axioms (6)

If formula1 是 SUO-KIF表述式 的 實例 and formula2 是 SUO-KIF表述式 的 實例, then formula1 (不）增�[s) %2 的 可能性 or formula1 (不）降低s) %2 的 可能性 or formula1 和 formula2 的 或然率 是 獨立的. 
(=>
      (and
            (instance ?FORMULA1 Formula)
            (instance ?FORMULA2 Formula))
      (or
            (increasesLikelihood ?FORMULA1 ?FORMULA2)
            (decreasesLikelihood ?FORMULA1 ?FORMULA2)
            (independentProbability ?FORMULA1 ?FORMULA2)))
If investigate 是 調查 的 實例 and prop 是 investigate 的 受事者, then prop 是 SUO-KIF表述式 的 實例. 
(=>
      (and
            (instance ?INVESTIGATE Investigating)
            (patient ?INVESTIGATE ?PROP))
      (instance ?PROP Formula))
If state 是 敘述 的 實例 and state 是 agent 的 施事者 and formula 是 state 的 受事者 and formula 是 SUO-KIF表述式 的 實例, then agent (不)相信 formula "state 存在 的 時間"a(之中) state 存在 的 時間. 
(=>
      (and
            (instance ?STATE Stating)
            (agent ?STATE ?AGENT)
            (patient ?STATE ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?STATE)
            (believes ?AGENT ?FORMULA)))
If request 是 請求 的 實例 and request 是 agent 的 施事者 and formula 是 request 的 受事者 and formula 是 SUO-KIF表述式 的 實例, then agent (不) 冀求not(s) formula. 
(=>
      (and
            (instance ?REQUEST Requesting)
            (agent ?REQUEST ?AGENT)
            (patient ?REQUEST ?FORMULA)
            (instance ?FORMULA Formula))
      (desires ?AGENT ?FORMULA))
If question 是 詢問 的 實例 and question 是 agent 的 施事者 and formula 是 question 的 受事者 and formula 是 SUO-KIF表述式 的 實例, then agent not(不）知道 "question 存在 的 時間"a(之中) question 存在 的 時間. 
(=>
      (and
            (instance ?QUESTION Questioning)
            (agent ?QUESTION ?AGENT)
            (patient ?QUESTION ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?QUESTION)
            (not
                  (knows ?AGENT ?FORMULA))))
If commit 是 承諾 的 實例 and formula 是 commit 的 受事者 and formula 是 SUO-KIF表述式 的 實例, then 陳述 formula 有 承諾 的 型態意義. 
(=>
      (and
            (instance ?COMMIT Committing)
            (patient ?COMMIT ?FORMULA)
            (instance ?FORMULA Formula))
      (modalAttribute ?FORMULA Promise))