Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
TravelReservation
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 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
sv
atantra %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
では
公式
は
公式
の 可能性を
increase
s
公式
は
公式
を
decrease
s 可能性がある
公式
と
公式
の 確率 は
independent
では
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