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

SUO-KIFbiao3 shu4 shi4 (Formula)

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

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
shi2 ti3
is subclass of
  wu4 zhi4 de5  
is subclass of
  wu4 ti1  
is subclass of
  zi4 shen1 lian2 xu4 wu4 ti1  
is subclass of
  na4 rong2 zai4 ti3  
is subclass of
  yu3 yan2 biao3 shi4  
is subclass of
[tree]
shi2 ti3
is subclass of
  wu4 zhi4 de5  
is subclass of
  wu4 ti1  
is subclass of
  zi4 shen1 lian2 xu4 wu4 ti1  
is subclass of
  fu4 za2 ti1/fei1 dan1 zhi4 ti1  
is subclass of
  ren2 zao4 wu4  
is subclass of
is subclass of
  wen2 ben3  
is subclass of
  ju4 zi5  
is subclass of
  SUO-KIFbiao3 shu4 shi4  

Constrains relations

ruo4 qie3 wei2 ruo4  ruo4  zhong3 lei4 miao2 shu4 han2 shu4  huo4 ran2 lv4 han2 shu4  he2  xiang1 xin4  tiao2 jian4 huo4 ran2 lv4  kao3 lv4  jiang4 di1 ke3 neng2 xing4  ji4 qiu2  tui1 zhi1  cun2 zai4  suo3 you3  you3 yi4 tu2  shi1 shi4 zhe3 you3 yi4 tu2  zai4...qi1 jian1 wei2 zhen1  zeng1 jia1 ke3 neng2 xing4  du2 li4 huo4 ran2 lv4  zhi1 dao4  qing2 tai4 shu3 xing4  fei1  huo4  pian1 ai4 

Axioms (6)

If formula1 shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4 and formula2 shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then formula1 (¤£¡^¼W¥[s) %2 ªº ¥i¯à©Ê or formula1 (bu2jiang4 di1s) %2 de5 ke3 neng2 xing4 or formula1 he2 formula2 de5 huo4 ran2 lv4 shi4 du2 li4 de5. 
(=>
      (and
            (instance ?FORMULA1 Formula)
            (instance ?FORMULA2 Formula))
      (or
            (increasesLikelihood ?FORMULA1 ?FORMULA2)
            (decreasesLikelihood ?FORMULA1 ?FORMULA2)
            (independentProbability ?FORMULA1 ?FORMULA2)))
If investigate shi4 diao4 cha2 de5 shi2 li4 and prop shi4 investigate de5 shou4 shi4 zhe3, then prop shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4. 
(=>
      (and
            (instance ?INVESTIGATE Investigating)
            (patient ?INVESTIGATE ?PROP))
      (instance ?PROP Formula))
If state shi4 xu4 shu4 de5 shi2 li4 and state shi4 agent de5 shi1 shi4 zhe3 and formula shi4 state de5 shou4 shi4 zhe3 and formula shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then agent (bu2)xiang1 xin4 formula "state cun2 zai4 de5 shi2 jian1"a(zhi1 zhong1) state cun2 zai4 de5 shi2 jian1. 
(=>
      (and
            (instance ?STATE Stating)
            (agent ?STATE ?AGENT)
            (patient ?STATE ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?STATE)
            (believes ?AGENT ?FORMULA)))
If request shi4 qing3 qiu2 de5 shi2 li4 and request shi4 agent de5 shi1 shi4 zhe3 and formula shi4 request de5 shou4 shi4 zhe3 and formula shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then agent (¤£) ¾¬¨Dnot(s) formula. 
(=>
      (and
            (instance ?REQUEST Requesting)
            (agent ?REQUEST ?AGENT)
            (patient ?REQUEST ?FORMULA)
            (instance ?FORMULA Formula))
      (desires ?AGENT ?FORMULA))
If question shi4 xun2 wen4 de5 shi2 li4 and question shi4 agent de5 shi1 shi4 zhe3 and formula shi4 question de5 shou4 shi4 zhe3 and formula shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then agent not(bu2zhi1 dao4 "question cun2 zai4 de5 shi2 jian1"a(zhi1 zhong1) question cun2 zai4 de5 shi2 jian1. 
(=>
      (and
            (instance ?QUESTION Questioning)
            (agent ?QUESTION ?AGENT)
            (patient ?QUESTION ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?QUESTION)
            (not
                  (knows ?AGENT ?FORMULA))))
If commit shi4 cheng2 nuo4 de5 shi2 li4 and formula shi4 commit de5 shou4 shi4 zhe3 and formula shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then chen2 shu4 formula you3 cheng2 nuo4 de5 xing2 tai4 yi4 yi4. 
(=>
      (and
            (instance ?COMMIT Committing)
            (patient ?COMMIT ?FORMULA)
            (instance ?FORMULA Formula))
      (modalAttribute ?FORMULA Promise))