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
ProbabilityFn
Sigma KEE - ProbabilityFn
ProbabilityFn
appearance as argument number 1
(
documentation
ProbabilityFn
ChineseLanguage
"这是其中一个基本的
ProbabilityRelation
,
ProbabilityFn
是用来描述事态的先验机率。(
ProbabilityFn
?FORMULA)表示 ?FORMULA 的先验机率。")
chinese_format.kif 1901-1902
(
documentation
ProbabilityFn
EnglishLanguage
"One of the basic
ProbabilityRelation
s,
ProbabilityFn
is used to state the a priori probability of a state of affairs. (
ProbabilityFn
?FORMULA) denotes the a priori probability of ?FORMULA.")
Merge.kif 2576-2579
(
documentation
ProbabilityFn
JapaneseLanguage
"基本的な
ProbabilityRelation
の一つは、
ProbabilityFn
は、事態の先行確率を述えるために使用される。((
ProbabilityFn
?FORMULA) は ?FORMULAの先行確率を示する。")
japanese_format.kif 527-529
(
domain
ProbabilityFn
1
Formula
)
Merge.kif 2573-2573
The number 1 argument of
probability
is an
instance
of
formula
(
instance
ProbabilityFn
ProbabilityRelation
)
Merge.kif 2570-2570
Probability
is an
instance
of
probability relation
(
instance
ProbabilityFn
TotalValuedRelation
)
Merge.kif 2571-2571
Probability
is an
instance
of
total valued relation
(
instance
ProbabilityFn
UnaryFunction
)
Merge.kif 2572-2572
Probability
is an
instance
of
unary function
(
range
ProbabilityFn
RealNumber
)
Merge.kif 2574-2574
The
range
of
probability
is an instance of
real number
appearance as argument number 2
(
format
ChineseLanguage
ProbabilityFn
"%1 的机率")
chinese_format.kif 271-271
(
format
EnglishLanguage
ProbabilityFn
"the
probability
of %1")
english_format.kif 276-276
(
format
FrenchLanguage
ProbabilityFn
"le probabilit� de %1")
french_format.kif 154-154
(
format
ItalianLanguage
ProbabilityFn
"la probabilità di%1")
relations-it.txt 232-232
(
format
JapaneseLanguage
ProbabilityFn
"%1 の
probability
")
japanese_format.kif 1982-1982
(
format
PortugueseLanguage
ProbabilityFn
"a probabilidade de %1")
portuguese_format.kif 106-106
(
format
de
ProbabilityFn
"die wahrscheinlichkeit von %1")
relations-de.txt 350-350
(
format
hi
ProbabilityFn
"%1 kii sambhaavyataa")
relations-hindi.txt 270-270
(
format
ro
ProbabilityFn
"
probability
%t{probabilitatea} lui %1")
relations-ro.kif 173-173
(
format
sv
ProbabilityFn
"sannolikheten för %1")
relations-sv.txt 160-160
(
format
tg
ProbabilityFn
"ang kalamangan mangyari %1")
relations-tg.txt 424-424
(
termFormat
ChineseLanguage
ProbabilityFn
"可能性")
domainEnglishFormat.kif 47492-47492
(
termFormat
ChineseLanguage
ProbabilityFn
"表示机率的函数")
chinese_format.kif 272-272
(
termFormat
ChineseTraditionalLanguage
ProbabilityFn
"可能性")
domainEnglishFormat.kif 47491-47491
(
termFormat
EnglishLanguage
ProbabilityFn
"probability")
domainEnglishFormat.kif 47490-47490
(
termFormat
de
ProbabilityFn
"Wahrscheinlichkeit")
terms-de.txt 112-112
antecedent
(=>
(
and
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Merge.kif 2623-2628
If
a formula
decrease
s likelihood of
another formula
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
less
than
the real number
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?DEP ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18343-18358
If
an organization
is
equal
to the
department
of
a kind of physical
in
another organization
and
the organization
2 is a part of the organization
the other organization
and
the organization
is not
equal
to
the organization
2 and
an entity
is an
instance
of
a kind of physical
and
the organization
is
interested
in
the entity
and
a real number
is
equal
to the
probability
of
the organization
is an
agent
of
another entity
and
the other entity
2 is
equal
to the
probability
of
the organization
2 is an
agent
of
the other entity
,
then
the real number
is
greater
than
the other entity
2
(=>
(
and
(
governorSpeed
?V ?Q)
(
equal
(
MeasureFn
?FAST
MilesPerHour
)
(
SpeedFn
?L1 ?T1))
(
equal
(
MeasureFn
?SLOW
MilesPerHour
)
(
SpeedFn
?L2 ?T2))
(
greaterThan
?FAST ?SLOW)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?FAST
MilesPerHour
))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?SLOW
MilesPerHour
)))))
(
greaterThan
?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
If the maximum speed allowed by
a governor
is
a function quantity
and
a real number
miles per hour
(s) is
equal
to
a length measure
per
a time duration
and
another real number
miles per hour
(s) is
equal
to
another length measure
per
another time duration
and
the real number
is
greater
than
the other real number
and
the real number
PROB is
equal
to the
probability
of the
measure
of
the governor
is
the real number
miles per hour
(s) and
the other real number
PROB is
equal
to the
probability
of the
measure
of
the governor
is
the other real number
miles per hour
(s),
then
the other real number
PROB is
greater
than
the real number
PROB
(=>
(
and
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
greaterThan
?NUMBER2 ?NUMBER1))
Merge.kif 2606-2611
If
a formula
increase
s likelihood of
another formula
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
greater
than
the real number
(=>
(
and
(
independentProbability
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
equal
?NUMBER2 ?NUMBER1))
Merge.kif 2640-2645
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
(=>
(
and
(
topSpeed
?V
(
MeasureFn
?Q ?CU))
(
instance
?CU
CompositeUnitOfMeasure
)
(
instance
?UL
UnitOfLength
)
(
instance
?UD
UnitOfDuration
)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L1 ?UL)
(
MeasureFn
?T1 ?UD)))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L2 ?UL)
(
MeasureFn
?T2 ?UD)))))
(
greaterThan
(
SpeedFn
?L1 ?T1) ?Q)
(
greaterThan
?Q
(
SpeedFn
?L2 ?T2)))
(
greaterThan
?SLOWPROB ?FASTPROB))
Transportation.kif 1718-1736
If the
top
speed
of
a vehicle
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
composite unit of measure
and
an entity
is an
instance
of
unit of length
and
another entity
is an
instance
of
unit of duration
and
another real number
is
equal
to the
probability
of the
measure
of
the vehicle
is
a length measure
the entity
(s)
per
a time duration
the other entity
(s) and
a third real number
is
equal
to the
probability
of the
measure
of
the vehicle
is
another length measure
the entity
(s)
per
another time duration
the other entity
(s) and
the length measure
per
the time duration
is
greater
than
the real number
and
the real number
is
greater
than
the other length measure
per
the other time duration
,
then
the third real number
is
greater
than
the other real number
(=>
(
and
(
typicalAction
?PROCESS ?AGENT)
(
instance
?A ?AGENT)
(
equal
?PPROB
(
ProbabilityFn
(
exists
(?X)
(
and
(
instance
?X ?PROCESS)
(
agent
?X ?A)))))
(
equal
?NOTPPROB
(
ProbabilityFn
(
not
(
exists
(?Y)
(
and
(
instance
?Y ?PROCESS)
(
agent
?Y ?A)))))))
(
greaterThan
?PPROB ?NOTPPROB))
Mid-level-ontology.kif 22832-22849
If
a kind of process
is a
typical
action
of a
a kind of agent
and
an entity
is an
instance
of
a kind of agent
and
a real number
is
equal
to the
probability
of there exists
another entity
such that
the other entity
is an
instance
of
a kind of process
and
the entity
is an
agent
of
the other entity
and
another real number
is
equal
to the
probability
of there doesn't exist
a third entity
such that
the third entity
is an
instance
of
the kind of process
and
the entity
is an
agent
of
the third entity
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
typicalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
part
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
part
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Mid-level-ontology.kif 23640-23657
If a
a kind of object
is
typically
a
part
of a
another kind of object
and
an entity
is an
instance
of
a kind of object
and
the kind of object
PROB is
equal
to the
probability
of there exists
another entity
such that
the other entity
is an
instance
of
another kind of object
and
the entity
is a
part
of
the other entity
and
another real number
is
equal
to the
probability
of there doesn't exist
a third entity
such that
the third entity
is an
instance
of
the other kind of object
and
the entity
is a
part
of
the third entity
,
then
the kind of object
PROB is
greater
than
the other real number
(=>
(
and
(
typicalTemporalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
temporalPart
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
temporalPart
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1453-1470
If a
a kind of process
is typically a part of a
another kind of process
and
an entity
is an
instance
of
a kind of process
and
the kind of process
PROB is
equal
to the
probability
of there exists
another entity
such that
the other entity
is an
instance
of
another kind of process
and
the entity
is a
part
of
the other entity
and
another real number
is
equal
to the
probability
of there doesn't exist
a third entity
such that
the third entity
is an
instance
of
the other kind of process
and
the entity
is a
part
of
the third entity
,
then
the kind of process
PROB is
greater
than
the other real number
(=>
(
and
(
typicallyContainsPart
?PART ?WHOLE)
(
instance
?Y ?WHOLE)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?X1)
(
and
(
instance
?X1 ?PART)
(
part
?X1 ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?X2)
(
and
(
instance
?X2 ?PART)
(
part
?X2 ?Y)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Mid-level-ontology.kif 23677-23694
If a
a kind of object
typically
has a
part
another kind of object
and
an entity
is an
instance
of
a kind of object
and
another kind of object
PROB is
equal
to the
probability
of there exists
another entity
such that
the other entity
is an
instance
of
the other kind of object
and
the other entity
is a
part
of
the entity
and
another real number
is
equal
to the
probability
of there doesn't exist
a third entity
such that
the third entity
is an
instance
of
the other kind of object
and
the third entity
is a
part
of
the entity
,
then
the other kind of object
PROB is
greater
than
the other real number
(=>
(
and
(
typicallyContainsTemporalPart
?PART ?WHOLE)
(
instance
?Y ?WHOLE)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?X1)
(
and
(
instance
?X1 ?PART)
(
temporalPart
?X1 ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?X2)
(
and
(
instance
?X2 ?PART)
(
temporalPart
?X2 ?Y)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1493-1510
If a
a kind of process
typically contains a
another kind of process
and
an entity
is an
instance
of
a kind of process
and
another kind of process
PROB is
equal
to the
probability
of there exists
another entity
such that
the other entity
is an
instance
of
the other kind of process
and
the other entity
is a
part
of
the entity
and
another real number
is
equal
to the
probability
of there doesn't exist
a third entity
such that
the third entity
is an
instance
of
the other kind of process
and
the third entity
is a
part
of
the entity
,
then
the other kind of process
PROB is
greater
than
the other real number
consequent
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?CONFIDENCE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 531-537
If
a real number
is the
confidence
in
an experimenting
and
the experimenting
is an
instance
of
experimenting
and
a formula
is an
instance
of
formula
and
the formula
is a
patient
of
the experimenting
,
then
the real number
express
es the
probability
of
the formula
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?VALUE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 569-575
If the
p
-value of
an experimenting
is
a real number
and
the experimenting
is an
instance
of
experimenting
and
a formula
is an
instance
of
formula
and
the formula
is a
patient
of
the experimenting
,
then
the real number
express
es the
probability
of
the formula
(=>
(
emotionTendency
?A ?ES)
(
greaterThan
(
ProbabilityFn
(
attribute
?A ?ES))
(
ProbabilityFn
(
not
(
attribute
?A ?ES)))))
emotion.kif 146-153
If
emotion tendency
an agent
and
an emotional state
,
then the
probability
of
the emotional state
is an
attribute
of
the agent
is
greater
than the
probability
of
the emotional state
is not an
attribute
of
the agent
(=>
(
instance
?EXPERIMENT
Experimenting
)
(
exists
(?FORMULA ?RESULT)
(
and
(
instance
?RESULT
Formula
)
(
result
?EXPERIMENT ?RESULT)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
represents
(
ProbabilityFn
?FORMULA) ?RESULT))))
UXExperimentalTerms.kif 3800-3810
If
a process
is an
instance
of
experimenting
,
then there exist
a formula
and
an entity
such that
the entity
is an
instance
of
formula
and
the entity
is a
result
of
the process
and
the formula
is an
instance
of
formula
and
the formula
is a
patient
of
the process
and the
probability
of
the formula
express
es
the entity
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17529-17531
If the statement
a formula
has the
modal
force
of
likely
,
then the
probability
of
the formula
is
true
is
greater
than the
probability
of
the formula
is
false
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17537-17539
If the statement
a formula
has the
modal
force
of
unlikely
,
then the
probability
of
the formula
is
false
is
greater
than the
probability
of
the formula
is
true
(=>
(
standardRetailHours
?TIMEINT ?AGENT)
(
exists
(?FT ?T ?C ?SRH ?NONSRH)
(
and
(
instance
?FT
FinancialTransaction
)
(
agent
?FT ?AGENT)
(
instance
?T ?TIMEINT)
(
destination
?FT ?C)
(
equal
?SRH
(
ProbabilityFn
(
and
(
during
(
WhenFn
?FT) ?T)
(
customer
?C ?AGENT))))
(
equal
?NONSRH
(
ProbabilityFn
(
and
(
not
(
during
(
WhenFn
?FT) ?T))
(
customer
?C ?AGENT))))
(
greaterThan
?SRH ?NONSRH))))
Dining.kif 388-407
If the
standard
retail
hours
for
an agent
are
a kind of time interval
,
then there exist
a process
,
an entity
,, ,
another entity
,, ,
a real number
and
another real number
such that
the process
is an
instance
of
financial transaction
and
the agent
is an
agent
of
the process
and
the entity
is an
instance
of
a kind of time interval
and
the process
end
s up at
the other entity
and
the real number
is
equal
to the
probability
of the
time
of existence of
the process
takes place
during
the entity
and
the agent
is a
customer
of
the other entity
and
the other real number
is
equal
to the
probability
of the
time
of existence of
the process
doesn't take place
during
the entity
and
the agent
is a
customer
of
the other entity
and
the real number
is
greater
than
the other real number
(=>
(
tTest
?SAMPLE_COLL1 ?SAMPLE_COLL2 ?PROB)
(
exists
(?POP1 ?POP2 ?EXPERIMENT)
(
and
(
instance
?POP1
Collection
)
(
instance
?POP2
Collection
)
(
statisticalPopulation
?SAMPLE_COLL1 ?POP1 ?EXPERIMENT)
(
statisticalPopulation
?SAMPLE_COLL2 ?POP2 ?EXPERIMENT)
(
equal
?PROB
(
ProbabilityFn
(
equal
?POP1 ?POP2))))))
UXExperimentalTerms.kif 607-617
If the probability that
an entity
_COLL1 and
the entity
_COLL2 are part of the same
statistical
population
is
a real number
,
then there exist
a collection
,
another collection
and
an experimenting
such that
the collection
is an
instance
of
collection
and
the other collection
is an
instance
of
collection
and
the entity
_COLL1 is a
sample
of
the collection
for
the experimenting
and
the entity
_COLL2 is a
sample
of
the other collection
for
the experimenting
and
the real number
is
equal
to the
probability
of
the collection
is
equal
to
the other collection
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