| 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 | |
| (domain independentProbability 2 Formula) | Merge.kif 2630-2630 | |
| (instance independentProbability BinaryPredicate) | Merge.kif 2627-2627 | |
| (instance independentProbability ProbabilityRelation) | Merge.kif 2626-2626 | |
| (instance independentProbability SymmetricRelation) | Merge.kif 2628-2628 |
| appearance as argument number 2 |
|
|
| (disjointRelation decreasesLikelihood independentProbability) | Merge.kif 2596-2596 | |
| (disjointRelation increasesLikelihood independentProbability) | Merge.kif 2595-2595 | |
| (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 | |
| (format FrenchLanguage independentProbability "probabilit� de %1 et %2 est %n ind�pendente") | french_format.kif 85-85 | |
| (format ItalianLanguage independentProbability "probabilità di %1 e %2 è %n indipendente") | relations-it.txt 142-142 | |
| (format JapaneseLanguage independentProbability "%1 と %2 の 確率 は independent では %n") | japanese_format.kif 1912-1912 | |
| (format PortugueseLanguage independentProbability "as probabilidades de %1 e %2 sao %n independentes") | portuguese_format.kif 37-37 | |
| (format cz independentProbability "probability of %1 and %2 %p{je} %n{nen�} independent") | relations-cz.txt 92-92 | |
| (format de independentProbability "Die wahrscheinlichkeit von %1 und %2 ist unabhaenig %n{nicht}") | relations-de.txt 151-151 | |
| (format hi independentProbability "%1 aura %2 kii sambhaavyataa svatantra %n hai") | relations-hindi.txt 181-181 | |
| (format ro independentProbability "evenimentele %1 ºi %2 %n{nu} sunt independent%t{independente}") | relations-ro.kif 104-104 | |
| (format sv independentProbability "sannolikheten för %1 och %2 är %n{inte} oberoende") | relations-sv.txt 84-84 | |
| (format tg independentProbability "ang kalamangang mangyari ng %1 at %2 %n ay malaya") | relations-tg.txt 288-288 | |
| (termFormat ChineseLanguage independentProbability "独立发生机率") | chinese_format.kif 128-128 | |
| (termFormat ChineseLanguage independentProbability "独立概率") | domainEnglishFormat.kif 29586-29586 | |
| (termFormat ChineseTraditionalLanguage independentProbability "獨立概率") | domainEnglishFormat.kif 29585-29585 | |
| (termFormat EnglishLanguage independentProbability "independent probability") | domainEnglishFormat.kif 29584-29584 | |
| (termFormat de independentProbability "Unabhaenigkeitswahrscheinlichkeit") | terms-de.txt 45-45 | |
| (termFormat tg independentProbability "kalamangang mangyari ng malaya") | relations-tg.txt 289-289 |
| antecedent |
|
|
| (=> (and (independentProbability ?FORMULA1 ?FORMULA2) (equal (ProbabilityFn ?FORMULA2) ?NUMBER1) (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2)) (equal ?NUMBER2 ?NUMBER1)) |
Merge.kif 2636-2641 |
| consequent |
|
|
| (=> (and (instance ?FORMULA1 Formula) (instance ?FORMULA2 Formula)) (or (increasesLikelihood ?FORMULA1 ?FORMULA2) (decreasesLikelihood ?FORMULA1 ?FORMULA2) (independentProbability ?FORMULA1 ?FORMULA2))) |
Merge.kif 2643-2650 |
|
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