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 2647-2649
(documentation independentProbability JapaneseLanguage "基本的な ProbabilityRelation。 (independentProbability ?FORMULA1 ?FORMULA2)とは、?FORMULA1 と ?FORMULA2 正しくないという確率が独立していることを意味する。")	japanese_format.kif 540-542
(domain independentProbability 1 Formula)	Merge.kif 2644-2644	independentProbability の数値 1 引数は公式の instance では
(domain independentProbability 2 Formula)	Merge.kif 2645-2645	independentProbability の数値 2 引数は公式の instance では
(instance independentProbability BinaryPredicate)	Merge.kif 2642-2642	independentProbability は 2進述語の instance では
(instance independentProbability ProbabilityRelation)	Merge.kif 2641-2641	independentProbability は確率関係の instance では
(instance independentProbability SymmetricRelation)	Merge.kif 2643-2643	independentProbability は対称関係の instance では

appearance as argument number 2

(disjointRelation decreasesLikelihood independentProbability)	Merge.kif 2611-2611	decreasesLikelihood と independentProbability は disjoint では
(disjointRelation increasesLikelihood independentProbability)	Merge.kif 2610-2610	increasesLikelihood と independentProbability は disjoint では
(format ChineseLanguage independentProbability "%1 和 %2 各自独立发生的机率是 %n")	chinese_format.kif 127-127	increasesLikelihood と independentProbability は disjoint では
(format EnglishLanguage independentProbability "probability of %1 and %2 is %n independent")	english_format.kif 128-128	increasesLikelihood と independentProbability は disjoint では
(format FrenchLanguage independentProbability "probabilit� de %1 et %2 est %n ind�pendente")	french_format.kif 85-85	increasesLikelihood と independentProbability は disjoint では
(format ItalianLanguage independentProbability "probabilità di %1 e %2 è %n indipendente")	relations-it.txt 142-142	increasesLikelihood と independentProbability は disjoint では
(format JapaneseLanguage independentProbability "%1 と %2 の確率は　independent では %n")	japanese_format.kif 1912-1912	increasesLikelihood と independentProbability は disjoint では
(format PortugueseLanguage independentProbability "as probabilidades de %1 e %2 sao %n independentes")	portuguese_format.kif 37-37	increasesLikelihood と independentProbability は disjoint では
(format cz independentProbability "probability of %1 and %2 %p{je} %n{nen�} independent")	relations-cz.txt 92-92	increasesLikelihood と independentProbability は disjoint では
(format de independentProbability "Die wahrscheinlichkeit von %1 und %2 ist unabhaenig %n{nicht}")	relations-de.txt 151-151	increasesLikelihood と independentProbability は disjoint では
(format hi independentProbability "%1 aura %2 kii sambhaavyataa svatantra %n hai")	relations-hindi.txt 181-181	increasesLikelihood と independentProbability は disjoint では
(format ro independentProbability "evenimentele %1 ºi %2 %n{nu} sunt independent%t{independente}")	relations-ro.kif 104-104	increasesLikelihood と independentProbability は disjoint では
(format sv independentProbability "sannolikheten för %1 och %2 är %n{inte} oberoende")	relations-sv.txt 84-84	increasesLikelihood と independentProbability は disjoint では
(format tg independentProbability "ang kalamangang mangyari ng %1 at %2 %n ay malaya")	relations-tg.txt 288-288	increasesLikelihood と independentProbability は disjoint では
(termFormat ChineseLanguage independentProbability "独立发生机率")	chinese_format.kif 128-128	increasesLikelihood と independentProbability は disjoint では
(termFormat ChineseLanguage independentProbability "独立概率")	domainEnglishFormat.kif 29586-29586	increasesLikelihood と independentProbability は disjoint では
(termFormat ChineseTraditionalLanguage independentProbability "獨立概率")	domainEnglishFormat.kif 29585-29585	increasesLikelihood と independentProbability は disjoint では
(termFormat EnglishLanguage independentProbability "independent probability")	domainEnglishFormat.kif 29584-29584	increasesLikelihood と independentProbability は disjoint では
(termFormat de independentProbability "Unabhaenigkeitswahrscheinlichkeit")	terms-de.txt 45-45	increasesLikelihood と independentProbability は disjoint では
(termFormat tg independentProbability "kalamangang mangyari ng malaya")	relations-tg.txt 289-289	increasesLikelihood と independentProbability は disjoint では

antecedent

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

Merge.kif 2651-2656

公式と公式の確率は　independent では equal 公式の probability and 実数公式が実数では場合の公式の probability
equal 実数 and 実数

consequent

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

Merge.kif 2658-2665

公式は公式の instance では公式は公式の instance では
公式は公式の可能性を increases 公式は公式を decreases 可能性がある公式と公式の確率は　independent では

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

KB Term:			Term intersection

English Word: