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
Il numero 1 argomenti di
ProbabilityFn
è un
istanza
di
Formula
(
instance
ProbabilityFn
ProbabilityRelation
)
Merge.kif 2570-2570
ProbabilityFn
è un'
istanza
di
RelazioneDiProbabilit�
(
instance
ProbabilityFn
TotalValuedRelation
)
Merge.kif 2571-2571
ProbabilityFn
è un'
istanza
di
RelazioneAValoreTotale
(
instance
ProbabilityFn
UnaryFunction
)
Merge.kif 2572-2572
ProbabilityFn
è un'
istanza
di
FunzioneUnaria
(
range
ProbabilityFn
RealNumber
)
Merge.kif 2574-2574
rango
di
ProbabilityFn
è un'istanza di
NumeroReale
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 47494-47494
(
termFormat
ChineseLanguage
ProbabilityFn
"表示机率的函数")
chinese_format.kif 272-272
(
termFormat
ChineseTraditionalLanguage
ProbabilityFn
"可能性")
domainEnglishFormat.kif 47493-47493
(
termFormat
EnglishLanguage
ProbabilityFn
"probability")
domainEnglishFormat.kif 47492-47492
(
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
decreasesLikelihood
Formula
and
Formula
la
probabilit
à di
Formula
is
uguale
a
NumeroReale
probabilit
à di
Formula
ammesso che
Formula
valga è
NumeroReale
NumeroReale
è
meno
di
NumeroReale
(=>
(
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 18370-18385
Organizzazione
is
uguale
a
DepartmentOfFn
Organizzazione
and
Entit�Concreta
subOrganization
Organizzazione
2 and
Organizzazione
Organizzazione
is
uguale
a
Organizzazione
2
Entit�
è un'
istanza
di
Entit�Concreta
Organizzazione
è
interessato
a
Entit�
NumeroReale
is
uguale
a la
probabilit
à di
Entit�
è un
agente
di
Organizzazione
Entit�
2 is
uguale
a la
probabilit
à di
Entit�
è un
agente
di
Organizzazione
2
NumeroReale
è
pi
ù grande di
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 2867-2885
governorSpeed
SpeedGovernor
and
FunzioneDiQuantit�
NumeroReale
MilesPerHour
(s is
uguale
a
MisuraDiLunghezza
per
Durata
NumeroReale
MilesPerHour
(s is
uguale
a
MisuraDiLunghezza
per
Durata
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
PROB is
uguale
a la
probabilit
à dila
misura
SpeedGovernor
è
NumeroReale
MilesPerHour
(s
NumeroReale
PROB is
uguale
a la
probabilit
à dila
misura
SpeedGovernor
è
NumeroReale
MilesPerHour
(s
NumeroReale
PROB è
pi
ù grande di
NumeroReale
PROB
(=>
(
and
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
greaterThan
?NUMBER2 ?NUMBER1))
Merge.kif 2606-2611
Formula
aumenta
s la verosimiglianza di
Formula
la
probabilit
à di
Formula
is
uguale
a
NumeroReale
probabilit
à di
Formula
ammesso che
Formula
valga è
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
independentProbability
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
equal
?NUMBER2 ?NUMBER1))
Merge.kif 2640-2645
Probabilità di
Formula
e
Formula
è
indipendente
la
probabilit
à di
Formula
is
uguale
a
NumeroReale
probabilit
à di
Formula
ammesso che
Formula
valga è
NumeroReale
NumeroReale
is
uguale
a
NumeroReale
(=>
(
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
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
CompositeUnitOfMeasure
Entit�
è un'
istanza
di
UnitOfLength
Entit�
è un'
istanza
di
UnitOfDuration
NumeroReale
is
uguale
a la
probabilit
à dila
misura
Vehicle
è
MisuraDiLunghezza
Entit�
(s
per
Durata
Entit�
(s
NumeroReale
is
uguale
a la
probabilit
à dila
misura
Vehicle
è
MisuraDiLunghezza
Entit�
(s
per
Durata
Entit�
(s
MisuraDiLunghezza
per
Durata
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
MisuraDiLunghezza
per
Durata
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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 22884-22901
typicalAction
Processo
and
AutonomousAgent
Entit�
è un'
istanza
di
AutonomousAgent
NumeroReale
is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è un
agente
di
Entit�
NumeroReale
is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è un
agente
di
Entit�
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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 23692-23709
typicalPart
Oggetto
and
Oggetto
Entit�
è un'
istanza
di
Oggetto
Oggetto
PROB is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è una
parte
di
Entit�
NumeroReale
is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è una
parte
di
Entit�
Oggetto
PROB è
pi
ù grande di
NumeroReale
(=>
(
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
Processo
and
Processo
Entit�
è un'
istanza
di
Processo
Processo
PROB is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
parte
di
Entit�
NumeroReale
is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
parte
di
Entit�
Processo
PROB è
pi
ù grande di
NumeroReale
(=>
(
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 23730-23747
typicallyContainsPart
Oggetto
and
Oggetto
Entit�
è un'
istanza
di
Oggetto
Oggetto
PROB is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è una
parte
di
Entit�
NumeroReale
is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è una
parte
di
Entit�
Oggetto
PROB è
pi
ù grande di
NumeroReale
(=>
(
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
Processo
and
Processo
Entit�
è un'
istanza
di
Processo
Processo
PROB is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
parte
di
Entit�
NumeroReale
is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
parte
di
Entit�
Processo
PROB è
pi
ù grande di
NumeroReale
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
NumeroReale
Experimenting
è un'
istanza
di
Experimenting
Formula
è un'
istanza
di
Formula
Formula
è un
paziente
di
Experimenting
NumeroReale
esprime
la
probabilit
à di
Formula
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?VALUE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 569-575
pValue
Experimenting
and
NumeroReale
Experimenting
è un'
istanza
di
Experimenting
Formula
è un'
istanza
di
Formula
Formula
è un
paziente
di
Experimenting
NumeroReale
esprime
la
probabilit
à di
Formula
(=>
(
emotionTendency
?A ?ES)
(
greaterThan
(
ProbabilityFn
(
attribute
?A ?ES))
(
ProbabilityFn
(
not
(
attribute
?A ?ES)))))
emotion.kif 146-153
emotionTendency
AutonomousAgent
and
StatoEmotivo
la
probabilit
à di
attribute
AutonomousAgent
and
StatoEmotivo
è
pi
ù grande di la
probabilit
à di
attribute
AutonomousAgent
and
StatoEmotivo
(=>
(
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
Processo
è un'
istanza
di
Experimenting
Formula
Entit�
Entit�
è un'
istanza
di
Formula
Entit�
è un
risultato
di
Processo
Formula
è un'
istanza
di
Formula
Formula
è un
paziente
di
Processo
la
probabilit
à di
Formula
esprime
Entit�
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17600-17606
L'affermazione
Formula
ha il modello di forza di
Likely
la
probabilit
à di
truth
Formula
and
True
è
pi
ù grande di la
probabilit
à di
truth
Formula
and
False
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17612-17618
L'affermazione
Formula
ha il modello di forza di
Unlikely
la
probabilit
à di
truth
Formula
and
False
è
pi
ù grande di la
probabilit
à di
truth
Formula
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
IntervalloTemporale
and
AutonomousAgent
Processo
Entit�
,
Entit�
,
NumeroReale
and
NumeroReale
Processo
è un'
istanza
di
ScambioFinanziario
Processo
è un
agente
di
AutonomousAgent
Entit�
è un'
istanza
di
IntervalloTemporale
Processo
fine
s in
Entit�
NumeroReale
is
uguale
a la
probabilit
à diil
tempo
di esistenza di
Processo
has luogo
durante
Entit�
customer
Entit�
and
AutonomousAgent
NumeroReale
is
uguale
a la
probabilit
à diil
tempo
di esistenza di
Processo
non ha luogo
durante
Entit�
customer
Entit�
and
AutonomousAgent
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
NumeroReale
InsiemeConcreto
InsiemeConcreto
and
Experimenting
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
statisticalPopulation
Entit�
_COLL1,
InsiemeConcreto
and
Experimenting
statisticalPopulation
Entit�
_COLL2,
InsiemeConcreto
and
Experimenting
NumeroReale
is
uguale
a la
probabilit
à di
InsiemeConcreto
is
uguale
a
InsiemeConcreto
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