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

huo4 ran2 lv4 han2 shu4 (ProbabilityFn)

One of the basic ProbabilityRelations, ProbabilityFn is used to state the a priori probability of a state of affairs. (ProbabilityFn formula) denotes the a priori probability of formula.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  huo4 ran2 lv4 guan1 xi4  
is instance of
zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  yi1 yuan2 han2 shu4  
is instance of
bu2 dui4 chen4 guan1 xi4
is instance of
is instance of
  huo4 ran2 lv4 han2 shu4  

Coordinate term(s)

jue2 dui4 zhi2 han2 shu4  miao2 shu4 han2 shu4  hu2 yu2 xian2  hu2 zheng4 xian2  hu2 zheng4 qie1  fan3 mian4 han2 shu4  shi2 jian1 kai1 shi3 han2 shu4  zui4 chu1 jie2 dian3 han2 shu4  ji4 shu4 han2 shu4  shang4 xian4 han2 shu4  hu4 bu3 han2 shu4  yu2 xian2 han2 shu4  xiang1 jiao1 lu4 jing4 han2 shu4  dan1 wei4 han2 shu4  shi2 jian1 jie2 shu4 han2 shi4  zui4 hou4 jie2 dian3 han2 shu4  fan4 wei2 han2 shu4  xia4 xian4 han2 shu4  zheng4 mian4 han2 shu4  shi2 jian1 wei4 lai2 han2 shi4  gai4 hua4 han2 shu4  gai4 hua4 lian2 ji2 han2 shu4  shi2 yi4 ji4 han2 shu4  xu1 shu4 han2 shu4  zui4 jin4 wei4 lai2 shi2 jian1 han2 shu4  zui4 jin4 guo4 qu4 shi2 jian1 han2 shu4  qi3 shi3 jie2 dian3 han2 shu4  zheng3 shu4 ping2 fang1 gen1 han2 shu4  qian1 ji4 han2 shu4  lie4 zhang3 han2 shu4  ji2 shu4 han2 shu4  bai3 wan4 ji4 han2 shu4  bai3 wan4 fen1 zhi1 yi1 ji4 han2 shu4  qian1 fen1 zhi1 yi1 ji4 han2 shu4  zui4 xiao3 xiang1 jiao1 lu4 jing4 han2 shu4  nai4 mi3 han2 shu4  fen1 zi3 han2 shu4  zu3 zhi1 han2 shu4  guo4 qu4 shi2 jian1 han2 shi4  lu4 jing4 liang4 han2 shu4  zhao4 fen1 zhi1 yi1 ji4 han2 shu4  mi4 ji2 he2 han2 shu4  qian2 shu4 han2 shu4  zhu3 ti1 han2 shu4  te4 xing4 han2 shu4  you3 li3 shu4 han2 shu4  shi2 shu4 han2 shu4  dao3 shu4 han2 shu4  zheng3 shu4 han2 shu4  zheng4 fu4 hao4 han2 shu4  zheng4 xian2 han2 shu4  biao3 pi2 han2 shu4  ping2 fang1 gen1 han2 shu4  hou4 shu4 han2 shu4  zheng4 qie1 han2 shu4  zhao4 ji4 han2 shu4  zhong1 jie2 dian3 han2 shu4  cai2 chan3 han2 shu4  cun2 zai4 shi2 jian1 han2 shu4  nian2 fen4 han2 shu4  shu3 xing4  zuo4 zhe3  zhao4 yin1  ci4 lei4 zhao4 yin1  gong1 min2  feng1 bi4 yu1  tian2 man3  tiao2 jian4 huo4 ran2 lv4  bao1 han2 xun4 xi1  xiang1 jiao1  ri4 qi1  jiang4 di1 ke3 neng2 xing4  fa1 zhan3 qi1 xing2 shi4  wen2 zi4 shuo1 ming2  chi2 xu4 shi2 jian1  bian1 zhe3  yuan2 su4  deng3 tong2 guan1 xi4 yu1  li4 yong4  yi3...yu3 yan2 biao3 da2  tian2 chong1  ci4 shu4  tu2 bu4 fen5  you3 yi4 tu2  you3 ji4 qiao3  zai4...qi1 jian1 wei2 zhen1  xu1 shi3...wei2 zhen1  you3 quan2 shi3...wei2 zhen1  dong4  tong2 yi1 yuan2 su4  zhi2 jie1 shi2 li4  zhi2 jie1 ci4 zhong3 lei4  chuan4 lie4 zhong1  zai4 zhu4 yi4 fan4 wei2 zhong1  zeng1 jia1 ke3 neng2 xing4  du2 li4 huo4 ran2 lv4  ju1 zhu4  fei1 fan3 she4 yu1...  fang1 shi4/qing2 zhuang4  ce4 liang4  shi2 duan4 xiang1 jie1  cheng2 yuan2  qing2 tai4 shu3 xing4  Âù¿Ë  pian1 xu4 yu1...  bu4 fen5 tian2 chong1  lu4 jing4 chang2  chuan1 ru4  yong1 you3  xian1 jue2 tiao2 jian4  zheng4 bu4 fen5  shi4 dang4 tian2 chong1  chu1 ban3  fan4 wei2  fan4 wei2 ci4 zhong3 lei4  shi2 xian4  fan3 she4 yu1...  xu4 jie1 shu3 xing4  biao3 mian4  shi2 jian1 bu4 fen5  shi2 jian1  quan2 xu4 yu1...  san1 fen1 fa3  shi3 yong4  jie2 he2 jia4  ren2 zao4 wu4 ban3 ben3 

Type restrictions

shi2 shu4 ProbabilityFn(SUO-KIFbiao3 shu4 shi4)

Axioms (5)

If formula1 (¤£¡^¼W¥[s) %2 ªº ¥i¯à©Ê and "formula2 de5 huo4 ran2 lv4" deng3 yu1 number1 and formula1 de5 ji1 lv4 shi4 formula2 zai4 formula2 wei2 zhen1 de5 qing2 kuang4 xia4 , then number2 (bu2) da4 yu1 number1. 
(=>
      (and
            (increasesLikelihood ?FORMULA1 ?FORMULA2)
            (equal
                  (ProbabilityFn ?FORMULA2)
                  ?NUMBER1)
            (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
      (greaterThan ?NUMBER2 ?NUMBER1))
If formula1 (bu2jiang4 di1s) %2 de5 ke3 neng2 xing4 and "formula2 de5 huo4 ran2 lv4" deng3 yu1 number1 and formula1 de5 ji1 lv4 shi4 formula2 zai4 formula2 wei2 zhen1 de5 qing2 kuang4 xia4 , then number2 xiao3 yu1 number1. 
(=>
      (and
            (decreasesLikelihood ?FORMULA1 ?FORMULA2)
            (equal
                  (ProbabilityFn ?FORMULA2)
                  ?NUMBER1)
            (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
      (lessThan ?NUMBER2 ?NUMBER1))
If formula1 he2 formula2 de5 huo4 ran2 lv4 shi4 du2 li4 de5 and "formula2 de5 huo4 ran2 lv4" deng3 yu1 number1 and formula1 de5 ji1 lv4 shi4 formula2 zai4 formula2 wei2 zhen1 de5 qing2 kuang4 xia4 , then number2 deng3 yu1 number1. 
(=>
      (and
            (independentProbability ?FORMULA1 ?FORMULA2)
            (equal
                  (ProbabilityFn ?FORMULA2)
                  ?NUMBER1)
            (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
      (equal ?NUMBER2 ?NUMBER1))
If formula you3 shu3 xing4 ke3 neng2 de5, then ""formula &$shi4 zhen1 de5" de5 huo4 ran2 lv4" (bu2) da4 yu1 ""formula &$shi4 jia3 de5" de5 huo4 ran2 lv4". 
(=>
      (property ?FORMULA Likely)
      (greaterThan
            (ProbabilityFn
                  (true ?FORMULA True))
            (ProbabilityFn
                  (true ?FORMULA False))))
If formula you3 shu3 xing4 bu2 tai4 ke3 neng2 de5, then ""formula &$shi4 jia3 de5" de5 huo4 ran2 lv4" (bu2) da4 yu1 ""formula &$shi4 zhen1 de5" de5 huo4 ran2 lv4". 
(=>
      (property ?FORMULA Unlikely)
      (greaterThan
            (ProbabilityFn
                  (true ?FORMULA False))
            (ProbabilityFn
                  (true ?FORMULA True))))