TreeView Knowledge Base Browser - independentProbability

appearance as argument number 1

(documentation independentProbability ChineseLanguage "这是其中一个基本的 ProbabilityRelation，(independentProbability ?FORMULA1 ?FORMULA2) 的意思是 ?FORMULA1 和 ?FORMULA2 属真机率是独立的。")	chinese_format.kif 1913-1915
(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 2542-2544
(domain independentProbability 1 Formula)	Merge.kif 2539-2539	domain independentProbability, 1 and Formula
(domain independentProbability 2 Formula)	Merge.kif 2540-2540	domain independentProbability, 2 and Formula
(instance independentProbability BinaryPredicate)	Merge.kif 2537-2537	instance independentProbability and BinaryPredicate
(instance independentProbability ProbabilityRelation)	Merge.kif 2536-2536	instance independentProbability and ProbabilityRelation
(instance independentProbability SymmetricRelation)	Merge.kif 2538-2538	instance independentProbability and SymmetricRelation

appearance as argument number 2

(disjointRelation decreasesLikelihood independentProbability)	Merge.kif 2506-2506	disjointRelation decreasesLikelihood and independentProbability
(disjointRelation increasesLikelihood independentProbability)	Merge.kif 2505-2505	disjointRelation increasesLikelihood and independentProbability
(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 128-128
(termFormat ChineseLanguage independentProbability "独立发生机率")	chinese_format.kif 128-128
(termFormat ChineseLanguage independentProbability "独立概率")	domainEnglishFormat.kif 29503-29503
(termFormat ChineseTraditionalLanguage independentProbability "獨立概率")	domainEnglishFormat.kif 29502-29502
(termFormat EnglishLanguage independentProbability "independent probability")	domainEnglishFormat.kif 29501-29501

antecedent

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

Merge.kif 2546-2551

consequent

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

Merge.kif 2553-2560