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
LyricalComponentFn
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
域
可能性
, 1 and
Formula
(
instance
ProbabilityFn
ProbabilityRelation
)
Merge.kif 2570-2570
例
可能性
and
ProbabilityRelation
(
instance
ProbabilityFn
TotalValuedRelation
)
Merge.kif 2571-2571
例
可能性
and
TotalValuedRelation
(
instance
ProbabilityFn
UnaryFunction
)
Merge.kif 2572-2572
例
可能性
and
UnaryFunction
(
range
ProbabilityFn
RealNumber
)
Merge.kif 2574-2574
範圍
可能性
and
RealNumber
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
and
Formula
等於
可能性
Formula
and
RealNumber
條件概率
Formula
,
Formula
and
RealNumber
少於
RealNumber
and
RealNumber
(=>
(
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
等於
Organization
and
DepartmentOfFn
Organization
and
Physical
子組織
Organization
and
Organization
等於
Organization
and
Organization
例
Entity
and
Physical
在感興趣的範圍內
Organization
and
Entity
等於
RealNumber
and
可能性
agent
entity
and
Organization
等於
entity
and
可能性
agent
entity
and
Organization
比較多
RealNumber
and
entity
(=>
(
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
FunctionQuantity
等於
測量
RealNumber
and
MilesPerHour
and
速度
LengthMeasure
and
TimeDuration
等於
測量
RealNumber
and
MilesPerHour
and
速度
LengthMeasure
and
TimeDuration
比較多
RealNumber
and
RealNumber
等於
RealNumber
PROB and
可能性
測量
SpeedGovernor
and
測量
RealNumber
and
MilesPerHour
等於
RealNumber
PROB and
可能性
測量
SpeedGovernor
and
測量
RealNumber
and
MilesPerHour
比較多
RealNumber
PROB and
RealNumber
PROB
(=>
(
and
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
greaterThan
?NUMBER2 ?NUMBER1))
Merge.kif 2606-2611
增加可能性
Formula
and
Formula
等於
可能性
Formula
and
RealNumber
條件概率
Formula
,
Formula
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
and
(
independentProbability
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
equal
?NUMBER2 ?NUMBER1))
Merge.kif 2640-2645
獨立概率
Formula
and
Formula
等於
可能性
Formula
and
RealNumber
條件概率
Formula
,
Formula
and
RealNumber
等於
RealNumber
and
RealNumber
(=>
(
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
車輛
的
top
speed
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
CompositeUnitOfMeasure
例
Entity
and
UnitOfLength
例
Entity
and
UnitOfDuration
等於
RealNumber
and
可能性
測量
車輛
and
速度
測量
LengthMeasure
and
Entity
and
測量
TimeDuration
and
Entity
等於
RealNumber
and
可能性
測量
車輛
and
速度
測量
LengthMeasure
and
Entity
and
測量
TimeDuration
and
Entity
比較多
速度
LengthMeasure
and
TimeDuration
and
RealNumber
比較多
RealNumber
and
速度
LengthMeasure
and
TimeDuration
比較多
RealNumber
and
RealNumber
(=>
(
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
Process
是
AutonomousAgent
的
typical
action
例
Entity
and
AutonomousAgent
等於
RealNumber
and
可能性
entity
例
entity
and
Process
agent
entity
and
Entity
等於
RealNumber
and
可能性
entity
例
entity
and
Process
agent
entity
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
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
Object
typically
是
Object
的
part
例
Entity
and
Object
等於
Object
PROB and
可能性
entity
例
entity
and
Object
部分
Entity
and
entity
等於
RealNumber
and
可能性
entity
例
entity
and
Object
部分
Entity
and
entity
比較多
Object
PROB and
RealNumber
(=>
(
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
Process
and
Process
例
Entity
and
Process
等於
Process
PROB and
可能性
entity
例
entity
and
Process
時間部分
Entity
and
entity
等於
RealNumber
and
可能性
entity
例
entity
and
Process
時間部分
Entity
and
entity
比較多
Process
PROB and
RealNumber
(=>
(
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
Object
typically
有
part
Object
例
Entity
and
Object
等於
Object
PROB and
可能性
entity
例
entity
and
Object
部分
entity
and
Entity
等於
RealNumber
and
可能性
entity
例
entity
and
Object
部分
entity
and
Entity
比較多
Object
PROB and
RealNumber
(=>
(
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
Process
and
Process
例
Entity
and
Process
等於
Process
PROB and
可能性
entity
例
entity
and
Process
時間部分
entity
and
Entity
等於
RealNumber
and
可能性
entity
例
entity
and
Process
時間部分
entity
and
Entity
比較多
Process
PROB and
RealNumber
consequent
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?CONFIDENCE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 531-537
RealNumber
是在
試驗
confidence
例
試驗
and
試驗
例
Formula
and
Formula
患者
試驗
and
Formula
代表
RealNumber
and
可能性
Formula
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?VALUE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 569-575
試驗
的
p
-value 是
RealNumber
例
試驗
and
試驗
例
Formula
and
Formula
患者
試驗
and
Formula
代表
RealNumber
and
可能性
Formula
(=>
(
emotionTendency
?A ?ES)
(
greaterThan
(
ProbabilityFn
(
attribute
?A ?ES))
(
ProbabilityFn
(
not
(
attribute
?A ?ES)))))
emotion.kif 146-153
emotionTendency
AutonomousAgent
and
EmotionalState
比較多
可能性
attribute
AutonomousAgent
and
EmotionalState
and
可能性
attribute
AutonomousAgent
and
EmotionalState
(=>
(
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
例
Process
and
試驗
Formula
Entity
例
Entity
and
Formula
結果
Process
and
Entity
例
Formula
and
Formula
患者
Process
and
Formula
代表
可能性
Formula
and
Entity
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17529-17531
模態屬性
Formula
and
容易
比較多
可能性
真相
Formula
and
真正
and
可能性
真相
Formula
and
假
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17537-17539
模態屬性
Formula
and
較不可能
比較多
可能性
真相
Formula
and
假
and
可能性
真相
Formula
and
真正
(=>
(
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
standard
retail
hours
對於
AutonomousAgent
是
TimeInterval
Process
Entity
,
Entity
,
RealNumber
and
RealNumber
例
Process
and
FinancialTransaction
agent
Process
and
AutonomousAgent
例
Entity
and
TimeInterval
目的地
Process
and
Entity
等於
RealNumber
and
可能性
期間
何時
Process
and
Entity
AutonomousAgent
是
Entity
的
customer
等於
RealNumber
and
可能性
期間
何時
Process
and
Entity
AutonomousAgent
是
Entity
的
customer
比較多
RealNumber
and
RealNumber
(=>
(
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
Entity
_COLL1 和
entity
_COLL2 是在同一部分
statistical
population
的機率 是
RealNumber
Collection
Collection
and
試驗
例
Collection
and
Collection
例
Collection
and
Collection
entity
_COLL1 是
Collection
的
sample
對於
試驗
entity
_COLL2 是
Collection
的
sample
對於
試驗
等於
RealNumber
and
可能性
等於
Collection
and
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