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
Le nombre 1 argument de
ProbabilityFn
est une
instance
de
formule
(
instance
ProbabilityFn
ProbabilityRelation
)
Merge.kif 2570-2570
ProbabilityFn
est une
instance
de
relation de probabilit�
(
instance
ProbabilityFn
TotalValuedRelation
)
Merge.kif 2571-2571
ProbabilityFn
est une
instance
de
relation total
(
instance
ProbabilityFn
UnaryFunction
)
Merge.kif 2572-2572
ProbabilityFn
est une
instance
de
function unaire
(
range
ProbabilityFn
RealNumber
)
Merge.kif 2574-2574
Le
domaine
de
ProbabilityFn
est une instance de
nombre r�el
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
Formule
diminue
la probabilit� de
formule
le
probabilit
� de
formule
est
nombre r�el
la
probabilit
� de
formule
pourvu que
formule
vaut
nombre r�el
nombre r�el
est
moins
que
nombre r�el
(=>
(
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 18342-18357
Organisation
est
DepartmentOfFn
organisation
and
physique
organisation
2 est une partie de l'organization
organisation
organisation
est
organisation
2
entit�
est une
instance
de
physique
organisation
est
interess
� par
entit�
nombre r�el
est
probabilit
� de
entit�
est un
agent
de
organisation
entit�
2 est
probabilit
� de
entit�
est un
agent
de
organisation
2
nombre r�el
est
plus
grand
que
entit�
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 2890-2908
governorSpeed
SpeedGovernor
and
function de quantit�
nombre r�el
MilesPerHour
(s) est
mesure de longueur
par
dur�e temporel
nombre r�el
MilesPerHour
(s) est
mesure de longueur
par
dur�e temporel
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
PROB est
probabilit
� de la
mesure
de
SpeedGovernor
est
nombre r�el
MilesPerHour
(s)
nombre r�el
PROB est
probabilit
� de la
mesure
de
SpeedGovernor
est
nombre r�el
MilesPerHour
(s)
nombre r�el
PROB est
plus
grand
que
nombre r�el
PROB
(=>
(
and
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
greaterThan
?NUMBER2 ?NUMBER1))
Merge.kif 2606-2611
Formule
augmente
la probabilit� de
formule
le
probabilit
� de
formule
est
nombre r�el
la
probabilit
� de
formule
pourvu que
formule
vaut
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
independentProbability
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
equal
?NUMBER2 ?NUMBER1))
Merge.kif 2640-2645
Probabilit� de
formule
et
formule
est
ind
�pendente le
probabilit
� de
formule
est
nombre r�el
la
probabilit
� de
formule
pourvu que
formule
vaut
nombre r�el
nombre r�el
est
nombre r�el
(=>
(
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
topSpeed
Vehicle
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
CompositeUnitOfMeasure
entit�
est une
instance
de
UnitOfLength
entit�
est une
instance
de
UnitOfDuration
nombre r�el
est
probabilit
� de la
mesure
de
Vehicle
est
mesure de longueur
entit�
(s)
par
dur�e temporel
entit�
(s)
nombre r�el
est
probabilit
� de la
mesure
de
Vehicle
est
mesure de longueur
entit�
(s)
par
dur�e temporel
entit�
(s)
mesure de longueur
par
dur�e temporel
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que
mesure de longueur
par
dur�e temporel
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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 22831-22848
typicalAction
processus
and
AutonomousAgent
entit�
est une
instance
de
AutonomousAgent
nombre r�el
est
probabilit
� de
entit�
entit�
est une
instance
de
processus
entit�
est un
agent
de
entit�
nombre r�el
est
probabilit
� de
entit�
entit�
est une
instance
de
processus
entit�
est un
agent
de
entit�
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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 23639-23656
typicalPart
objet
and
objet
entit�
est une
instance
de
objet
objet
PROB est
probabilit
� de
entit�
entit�
est une
instance
de
objet
entit�
est une
partie
de
entit�
nombre r�el
est
probabilit
� de
entit�
entit�
est une
instance
de
objet
entit�
est une
partie
de
entit�
objet
PROB est
plus
grand
que
nombre r�el
(=>
(
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
typicalTemporalPart
processus
and
processus
entit�
est une
instance
de
processus
processus
PROB est
probabilit
� de
entit�
entit�
est une
instance
de
processus
entit�
est une
partie
de
entit�
nombre r�el
est
probabilit
� de
entit�
entit�
est une
instance
de
processus
entit�
est une
partie
de
entit�
processus
PROB est
plus
grand
que
nombre r�el
(=>
(
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 23676-23693
typicallyContainsPart
objet
and
objet
entit�
est une
instance
de
objet
objet
PROB est
probabilit
� de
entit�
entit�
est une
instance
de
objet
entit�
est une
partie
de
entit�
nombre r�el
est
probabilit
� de
entit�
entit�
est une
instance
de
objet
entit�
est une
partie
de
entit�
objet
PROB est
plus
grand
que
nombre r�el
(=>
(
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
typicallyContainsTemporalPart
processus
and
processus
entit�
est une
instance
de
processus
processus
PROB est
probabilit
� de
entit�
entit�
est une
instance
de
processus
entit�
est une
partie
de
entit�
nombre r�el
est
probabilit
� de
entit�
entit�
est une
instance
de
processus
entit�
est une
partie
de
entit�
processus
PROB est
plus
grand
que
nombre r�el
consequent
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?CONFIDENCE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 531-537
confidenceInterval
Experimenting
and
nombre r�el
Experimenting
est une
instance
de
Experimenting
formule
est une
instance
de
formule
formule
est un
patient
de
Experimenting
nombre r�el
d
�finie le
probabilit
� de
formule
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?VALUE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 569-575
pValue
Experimenting
and
nombre r�el
Experimenting
est une
instance
de
Experimenting
formule
est une
instance
de
formule
formule
est un
patient
de
Experimenting
nombre r�el
d
�finie le
probabilit
� de
formule
(=>
(
emotionTendency
?A ?ES)
(
greaterThan
(
ProbabilityFn
(
attribute
?A ?ES))
(
ProbabilityFn
(
not
(
attribute
?A ?ES)))))
emotion.kif 146-153
emotionTendency
AutonomousAgent
and
�tat �motionnel
le
probabilit
� de
�tat �motionnel
est un
attribut
de
AutonomousAgent
est
plus
grand
que le
probabilit
� de
�tat �motionnel
est un
attribut
de
AutonomousAgent
(=>
(
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
Processus
est une
instance
de
Experimenting
formule
entit�
entit�
est une
instance
de
formule
entit�
est le
resultat
de
processus
formule
est une
instance
de
formule
formule
est un
patient
de
processus
le
probabilit
� de
formule
d
�finie
entit�
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17551-17553
L'argument
formule
a la
force
modale
de
Likely
le
probabilit
� de
truth
formule
and
True
est
plus
grand
que le
probabilit
� de
truth
formule
and
False
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17559-17561
L'argument
formule
a la
force
modale
de
Unlikely
le
probabilit
� de
truth
formule
and
False
est
plus
grand
que le
probabilit
� de
truth
formule
and
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
standardRetailHours
interval temporel
and
AutonomousAgent
processus
entit�
,
entit�
,
nombre r�el
and
nombre r�el
processus
est une
instance
de
financial transaction
processus
est un
agent
de
AutonomousAgent
entit�
est une
instance
de
interval temporel
processus
aboutit
�
entit�
nombre r�el
est
probabilit
� de
temps
d'existence de
processus
prend place
pendant
entit�
customer
entit�
and
AutonomousAgent
nombre r�el
est
probabilit
� de
temps
d'existence de
processus
ne prend %n{pas} place
pendant
entit�
customer
entit�
and
AutonomousAgent
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
tTest
entit�
_COLL1,
entit�
_COLL2 and
nombre r�el
collection
collection
and
Experimenting
collection
est une
instance
de
collection
collection
est une
instance
de
collection
statisticalPopulation
entit�
_COLL1,
collection
and
Experimenting
statisticalPopulation
entit�
_COLL2,
collection
and
Experimenting
nombre r�el
est
probabilit
� de
collection
est
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