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
O argumento numero 1 de
ProbabilityFn
e' uma
instancia
de
Formula
(
instance
ProbabilityFn
ProbabilityRelation
)
Merge.kif 2570-2570
ProbabilityFn
e' uma
instancia
de
Relacao de Probabilidade
(
instance
ProbabilityFn
TotalValuedRelation
)
Merge.kif 2571-2571
ProbabilityFn
e' uma
instancia
de
Relacao Total
(
instance
ProbabilityFn
UnaryFunction
)
Merge.kif 2572-2572
ProbabilityFn
e' uma
instancia
de
funcao Unaria
(
range
ProbabilityFn
RealNumber
)
Merge.kif 2574-2574
O
contra
-dominio de
ProbabilityFn
e' uma instancia de
Numero Real
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
Formula
diminui
a probabilidade de
Formula
a
probabilidade
de
Formula
e'
igual
a
Numero Real
a
probabilidade
de
Formula
sabendo que
Formula
vale e'
Numero Real
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Organizacao
e'
igual
a
DepartmentOfFn
Organizacao
and
Fisico
Organizacao
2 e' uma parte da organizacao
Organizacao
Organizacao
e'
igual
a
Organizacao
2
Entidade
e' uma
instancia
de
Fisico
Organizacao
esta'
interessado
em
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
e' um
agente
de
Organizacao
Entidade
2 e'
igual
a a
probabilidade
de
Entidade
e' um
agente
de
Organizacao
2
Numero Real
e'
maior
que
Entidade
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
governorSpeed
SpeedGovernor
and
Funcao de Quantidade
Numero Real
MilesPerHour
(s) e'
igual
a
Medida de Comprimento
por
Duracao Temporal
Numero Real
MilesPerHour
(s) e'
igual
a
Medida de Comprimento
por
Duracao Temporal
Numero Real
e'
maior
que
Numero Real
Numero Real
PROB e'
igual
a a
probabilidade
de a
medida
de
SpeedGovernor
e'
Numero Real
MilesPerHour
(s)
Numero Real
PROB e'
igual
a a
probabilidade
de a
medida
de
SpeedGovernor
e'
Numero Real
MilesPerHour
(s)
Numero Real
PROB e'
maior
que
Numero Real
PROB
(=>
(
and
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
greaterThan
?NUMBER2 ?NUMBER1))
Merge.kif 2606-2611
Formula
aumenta
a probabilidade de
Formula
a
probabilidade
de
Formula
e'
igual
a
Numero Real
a
probabilidade
de
Formula
sabendo que
Formula
vale e'
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
independentProbability
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
equal
?NUMBER2 ?NUMBER1))
Merge.kif 2640-2645
As probabilidades de
Formula
e
Formula
sao
independentes
a
probabilidade
de
Formula
e'
igual
a
Numero Real
a
probabilidade
de
Formula
sabendo que
Formula
vale e'
Numero Real
Numero Real
e'
igual
a
Numero Real
(=>
(
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
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
Entidade
e' uma
instancia
de
UnitOfLength
Entidade
e' uma
instancia
de
UnitOfDuration
Numero Real
e'
igual
a a
probabilidade
de a
medida
de
Vehicle
e'
Medida de Comprimento
Entidade
(s)
por
Duracao Temporal
Entidade
(s)
Numero Real
e'
igual
a a
probabilidade
de a
medida
de
Vehicle
e'
Medida de Comprimento
Entidade
(s)
por
Duracao Temporal
Entidade
(s)
Medida de Comprimento
por
Duracao Temporal
e'
maior
que
Numero Real
Numero Real
e'
maior
que
Medida de Comprimento
por
Duracao Temporal
Numero Real
e'
maior
que
Numero Real
(=>
(
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
typicalAction
Processo
and
AutonomousAgent
Entidade
e' uma
instancia
de
AutonomousAgent
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
agente
de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
agente
de
Entidade
Numero Real
e'
maior
que
Numero Real
(=>
(
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
typicalPart
Objeto
and
Objeto
Entidade
e' uma
instancia
de
Objeto
Objeto
PROB e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma &parte de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma &parte de
Entidade
Objeto
PROB e'
maior
que
Numero Real
(=>
(
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
Entidade
e' uma
instancia
de
Processo
Processo
PROB e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Processo
PROB e'
maior
que
Numero Real
(=>
(
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
typicallyContainsPart
Objeto
and
Objeto
Entidade
e' uma
instancia
de
Objeto
Objeto
PROB e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma &parte de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma &parte de
Entidade
Objeto
PROB e'
maior
que
Numero Real
(=>
(
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
Entidade
e' uma
instancia
de
Processo
Processo
PROB e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Processo
PROB e'
maior
que
Numero Real
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
Numero Real
Experimenting
e' uma
instancia
de
Experimenting
Formula
e' uma
instancia
de
Formula
Formula
e' um
patient
de
Experimenting
Numero Real
define
a
probabilidade
de
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
Numero Real
Experimenting
e' uma
instancia
de
Experimenting
Formula
e' uma
instancia
de
Formula
Formula
e' um
patient
de
Experimenting
Numero Real
define
a
probabilidade
de
Formula
(=>
(
emotionTendency
?A ?ES)
(
greaterThan
(
ProbabilityFn
(
attribute
?A ?ES))
(
ProbabilityFn
(
not
(
attribute
?A ?ES)))))
emotion.kif 146-153
emotionTendency
AutonomousAgent
and
Estado Emocional
a
probabilidade
de
Estado Emocional
e' um
atributo
de
AutonomousAgent
e'
maior
que a
probabilidade
de
Estado Emocional
e' um
atributo
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
Processo
e' uma
instancia
de
Experimenting
Formula
Entidade
Entidade
e' uma
instancia
de
Formula
Entidade
e' o
resultado
de
Processo
Formula
e' uma
instancia
de
Formula
Formula
e' um
patient
de
Processo
a
probabilidade
de
Formula
define
Entidade
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17529-17531
O argumento
Formula
tem a
forca
modal
de
Likely
a
probabilidade
de
truth
Formula
and
True
e'
maior
que a
probabilidade
de
truth
Formula
and
False
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17537-17539
O argumento
Formula
tem a
forca
modal
de
Unlikely
a
probabilidade
de
truth
Formula
and
False
e'
maior
que a
probabilidade
de
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
Intervalo Temporal
and
AutonomousAgent
Processo
Entidade
,
Entidade
,
Numero Real
and
Numero Real
Processo
e' uma
instancia
de
Transacao Financeira
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Intervalo Temporal
Processo
termina
em
Entidade
Numero Real
e'
igual
a a
probabilidade
de
tempo
de existencia de
Processo
acontece
durante
Entidade
customer
Entidade
and
AutonomousAgent
Numero Real
e'
igual
a a
probabilidade
de
tempo
de existencia de
Processo
nao %n acontece
durante
Entidade
customer
Entidade
and
AutonomousAgent
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Entidade
_COLL1,
Entidade
_COLL2 and
Numero Real
Colecao
Colecao
and
Experimenting
Colecao
e' uma
instancia
de
Colecao
Colecao
e' uma
instancia
de
Colecao
statisticalPopulation
Entidade
_COLL1,
Colecao
and
Experimenting
statisticalPopulation
Entidade
_COLL2,
Colecao
and
Experimenting
Numero Real
e'
igual
a a
probabilidade
de
Colecao
e'
igual
a
Colecao
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