Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  independentProbability

Sigma KEE - independentProbability
independentProbability

appearance as argument number 1
-------------------------


(documentation independentProbability ChineseLanguage "这是其中一个基本的 ProbabilityRelation,(&%independentProbability ?FORMULA1 ?FORMULA2) 的意思是 ?FORMULA1 和 ?FORMULA2 属真机率是独立的。") Merge.kif 2802-2804
(documentation independentProbability EnglishLanguage "One of the basic ProbabilityRelations. (independentProbability ?FORMULA1 ?FORMULA2) means that the probabilities of ?FORMULA1 and ?FORMULA2 being true are independent.") Merge.kif 2799-2801
(domain independentProbability 1 Formula) Merge.kif 2797-2797
(domain independentProbability 2 Formula) Merge.kif 2798-2798
(instance independentProbability BinaryPredicate) Merge.kif 2795-2795
(instance independentProbability ProbabilityRelation) Merge.kif 2794-2794
(instance independentProbability SymmetricRelation) Merge.kif 2796-2796

appearance as argument number 2
-------------------------


(disjointRelation decreasesLikelihood independentProbability) Merge.kif 2760-2760
(disjointRelation increasesLikelihood independentProbability) Merge.kif 2759-2759
(format ChineseLanguage independentProbability "%1 和 %2 各自独立发生的机率是 %n") chinese_format.kif 127-127
(format EnglishLanguage independentProbability "probability of %1 and %2 is %n independent") english_format.kif 90-90
(format FrenchLanguage independentProbability "probabilit� de %1 et %2 est %n ind�pendente") french_format.kif 85-85
(format ItalianLanguage independentProbability "probabilit� di %1 e %2 � %n indipendente") relations-it.txt 142-142
(format PortugueseLanguage independentProbability "as probabilidades de %1 e %2 sao %n independentes") portuguese_format.kif 37-37
(format ar independentProbability "اٍحْتِمَال %1 و %2 هو %n مُسْتَقِلّ") arabic_format.kif 35-35
(format cz independentProbability "probability of %1 and %2 %p{je} %n{nen�} independent") relations-cz.txt 92-92
(format de independentProbability "Die wahrscheinlichkeit von %1 und %2 ist unabhaenig %n{nicht}") relations-de.txt 151-151
(format hi independentProbability "%1 aura %2 kii sambhaavyataa svatantra %n hai") relations-hindi.txt 181-181
(format tg independentProbability "ang kalamangang mangyari ng %1 at %2 %n ay malaya") relations-tg.txt 288-288
(termFormat ChineseLanguage independentProbability "独立发生机率") chinese_format.kif 128-128
(termFormat EnglishLanguage independentProbability "independent probability") domainEnglishFormat.kif 5346-5346
(termFormat ar independentProbability "«اٍحْتِمَال مُسْتَقِلّ»") arabic_format.kif 485-485
(termFormat tg independentProbability "kalamangang mangyari ng malaya") relations-tg.txt 289-289

antecedent
-------------------------


(=>
    (and
        (independentProbability ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (equal ?NUMBER2 ?NUMBER1))
Merge.kif 2806-2811

consequent
-------------------------


(=>
    (and
        (instance ?FORMULA1 Formula)
        (instance ?FORMULA2 Formula))
    (or
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (independentProbability ?FORMULA1 ?FORMULA2)))
Merge.kif 2813-2820


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners