Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 2576-2578
(
domain
independentProbability
1
Formula
)
Merge.kif 2573-2573
The number 1 argument of
independent probability
is an
instance
of
formula
(
domain
independentProbability
2
Formula
)
Merge.kif 2574-2574
The number 2 argument of
independent probability
is an
instance
of
formula
(
instance
independentProbability
BinaryPredicate
)
Merge.kif 2571-2571
independent probability
is an
instance
of
binary predicate
(
instance
independentProbability
ProbabilityRelation
)
Merge.kif 2570-2570
independent probability
is an
instance
of
probability relation
(
instance
independentProbability
SymmetricRelation
)
Merge.kif 2572-2572
independent probability
is an
instance
of
symmetric relation
appearance as argument number 2
(
disjointRelation
decreasesLikelihood
independentProbability
)
Merge.kif 2540-2540
decreases likelihood
and
independent probability
are
disjoint
(
disjointRelation
increasesLikelihood
independentProbability
)
Merge.kif 2539-2539
increases likelihood
and
independent probability
are
disjoint
(
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
(
termFormat
ChineseLanguage
independentProbability
"独立发生机率")
chinese_format.kif 128-128
(
termFormat
ChineseLanguage
independentProbability
"独立概率")
domainEnglishFormat.kif 29562-29562
(
termFormat
ChineseTraditionalLanguage
independentProbability
"獨立概率")
domainEnglishFormat.kif 29561-29561
(
termFormat
EnglishLanguage
independentProbability
"independent probability")
domainEnglishFormat.kif 29560-29560
antecedent
(=>
(
and
(
independentProbability
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
equal
?NUMBER2 ?NUMBER1))
Merge.kif 2580-2585
If probability of
a formula
and
another formula
is
independent
and the
probability
of
the other formula
is
equal
to
a real number
and
probability
of
the formula
provided that
the other formula
holds is
another real number
,
then
the other real number
is
equal
to
the real number
consequent
(=>
(
and
(
instance
?FORMULA1
Formula
)
(
instance
?FORMULA2
Formula
))
(
or
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
independentProbability
?FORMULA1 ?FORMULA2)))
Merge.kif 2587-2594
If
a formula
is an
instance
of
formula
and
another formula
is an
instance
of
formula
,
then
the formula
increase
s likelihood of
the other formula
or
the formula
decrease
s likelihood of
the other formula
or probability of
the formula
and
the other formula
is
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