independentProbability - Sigma Knowledge base Browser

appearance as argument number 1

(instance independentProbability ProbabilityRelation)	Merge.kif 2739-2739	independent probability is an instance of probability relation
(instance independentProbability BinaryPredicate)	Merge.kif 2740-2740	independent probability is an instance of binary predicate
(instance independentProbability SymmetricRelation)	Merge.kif 2741-2741	independent probability is an instance of symmetric relation
(domain independentProbability 1 Formula)	Merge.kif 2742-2742	The number 1 argument of independent probability is an instance of formula
(domain independentProbability 2 Formula)	Merge.kif 2743-2743	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 2745-2747	The number 2 argument of independent probability is an instance of formula

appearance as argument number 2

(disjointRelation increasesLikelihood independentProbability)	Merge.kif 2708-2708	increases likelihood and independent probability are disjoint
(disjointRelation decreasesLikelihood independentProbability)	Merge.kif 2709-2709	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