independentProbability - Sigma Knowledge base Browser

appearance as argument number 1

(instance independentProbability ProbabilityRelation)	Merge.kif 2665-2665	independent probability is an instance of probability relation
(instance independentProbability BinaryPredicate)	Merge.kif 2666-2666	independent probability is an instance of binary predicate
(instance independentProbability SymmetricRelation)	Merge.kif 2667-2667	independent probability is an instance of symmetric relation
(domain independentProbability 1 Formula)	Merge.kif 2668-2668	The number 1 argument of independent probability is an instance of formula
(domain independentProbability 2 Formula)	Merge.kif 2669-2669	The number 2 argument of independent probability is an instance of formula
(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 2671-2673	The number 2 argument of independent probability is an instance of formula

appearance as argument number 2

(disjointRelation increasesLikelihood independentProbability)	Merge.kif 2634-2634	increases likelihood and independent probability are disjoint
(disjointRelation decreasesLikelihood independentProbability)	Merge.kif 2635-2635	decreases likelihood and independent probability are disjoint
(termFormat EnglishLanguage independentProbability "independent probability")	domainEnglishFormat.kif 29577-29577	decreases likelihood and independent probability are disjoint
(termFormat ChineseTraditionalLanguage independentProbability "獨立概率")	domainEnglishFormat.kif 29578-29578	decreases likelihood and independent probability are disjoint
(termFormat ChineseLanguage independentProbability "独立概率")	domainEnglishFormat.kif 29579-29579	decreases likelihood and independent probability are disjoint
(format EnglishLanguage independentProbability "probability of %1 and %2 is %n independent")	english_format.kif 128-128	decreases likelihood and independent probability are disjoint

antecedent

(=>
    (and
        (independentProbability ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (equal ?NUMBER2 ?NUMBER1))

If probability of X and Y is independent, equal the probability of Y and Z, and probability of X provided that Y holds is W, then equal W and Z

consequent

(=>
    (and
        (instance ?FORMULA1 Formula)
        (instance ?FORMULA2 Formula))
    (or
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (independentProbability ?FORMULA1 ?FORMULA2)))

If X is an instance of formula and Y is an instance of formula, then At least one of the following holds: (1) X increases likelihood of Y (2) X decreases likelihood of Y (3) probability of X and Y is independent