independentProbability - Sigma Knowledge base Browser

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

appearance as argument number 2

(disjointRelation decreasesLikelihood independentProbability)	Merge.kif 2596-2596	decreasesLikelihood と independentProbability は disjoint では
(disjointRelation increasesLikelihood independentProbability)	Merge.kif 2595-2595	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 2636-2641

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

consequent

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

Merge.kif 2643-2650

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

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: