Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
independentProbability
Sigma KEE - independentProbability
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
ProbabilityRelation
s. (
independentProbability
?FORMULA1 ?FORMULA2) means that the probabilities of ?FORMULA1 and ?FORMULA2 being true are independent.")
Merge.kif 2636-2638
(
documentation
independentProbability
JapaneseLanguage
"基本的な
ProbabilityRelation
。 (
independentProbability
?FORMULA1 ?FORMULA2)とは、?FORMULA1 と ?FORMULA2 正しくないという 確率が独立していることを意味する。")
japanese_format.kif 540-542
(
domain
independentProbability
1
Formula
)
Merge.kif 2633-2633
Die Zahl 1 Argument von
Unabhaenigkeitswahrscheinlichkeit
ist ein
fall
von
Formula
%n{nicht}
(
domain
independentProbability
2
Formula
)
Merge.kif 2634-2634
Die Zahl 2 Argument von
Unabhaenigkeitswahrscheinlichkeit
ist ein
fall
von
Formula
%n{nicht}
(
instance
independentProbability
BinaryPredicate
)
Merge.kif 2631-2631
Unabhaenigkeitswahrscheinlichkeit
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
independentProbability
ProbabilityRelation
)
Merge.kif 2630-2630
Unabhaenigkeitswahrscheinlichkeit
ist ein
fall
von
ProbabilityRelation
%n{nicht}
(
instance
independentProbability
SymmetricRelation
)
Merge.kif 2632-2632
Unabhaenigkeitswahrscheinlichkeit
ist ein
fall
von
SymmetricRelation
%n{nicht}
appearance as argument number 2
(
disjointRelation
decreasesLikelihood
independentProbability
)
Merge.kif 2600-2600
verringertWahrscheinlichkeit
und
Unabhaenigkeitswahrscheinlichkeit
werden
disjunkt
(
disjointRelation
increasesLikelihood
independentProbability
)
Merge.kif 2599-2599
vergroessertWahrscheinlichkeit
und
Unabhaenigkeitswahrscheinlichkeit
werden
disjunkt
(
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
sv
atantra %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 29575-29575
(
termFormat
ChineseTraditionalLanguage
independentProbability
"獨立概率")
domainEnglishFormat.kif 29574-29574
(
termFormat
EnglishLanguage
independentProbability
"independent probability")
domainEnglishFormat.kif 29573-29573
(
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 2640-2645
Wenn Die
wahrscheinlichkeit
von
Formula
und
** Formula
ist unabhaenig %n{nicht} und die
wahrscheinlichkeit
von
** ** Formula
ist gleich
RealNumber
%n{nicht} und Gesetzt den Fall, dass
** ** Formula
gilt, ist die
wahrscheinlichkeit
von
** Formula
** RealNumber
,
dann
** ** RealNumber
ist gleich
** RealNumber
%n{nicht}
consequent
(=>
(
and
(
instance
?FORMULA1
Formula
)
(
instance
?FORMULA2
Formula
))
(
or
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
independentProbability
?FORMULA1 ?FORMULA2)))
Merge.kif 2647-2654
Wenn
Formula
ist ein
fall
von
Formula
%n{nicht} und
** Formula
ist ein
fall
von
Formula
%n{nicht},
dann
** Formula
vergroessert die Wahrscheinlichkeit von
** ** Formula
%n{nicht} oder
** Formula
verringert die Wahrscheinlichkeit von
** ** Formula
%n{nicht} oder Die
wahrscheinlichkeit
von
** Formula
und
** ** Formula
ist unabhaenig %n{nicht}
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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