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
ProbabilityFn
の数値 1 引数は
公式
の
instance
では %n
(
instance
ProbabilityFn
ProbabilityRelation
)
Merge.kif 2570-2570
ProbabilityFn
は
確率関係
の
instance
では %n
(
instance
ProbabilityFn
TotalValuedRelation
)
Merge.kif 2571-2571
ProbabilityFn
は
合計値関係
の
instance
では %n
(
instance
ProbabilityFn
UnaryFunction
)
Merge.kif 2572-2572
ProbabilityFn
は
1変数関数
の
instance
では %n
(
range
ProbabilityFn
RealNumber
)
Merge.kif 2574-2574
ProbabilityFn
の
range
は
実数
のインスタンス では %n
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
公式
は
公式
を
decrease
s 可能性がある
公式
の
probability
は
実数
と
equal
では %n
公式
が
実数
では 場合の
公式
の
probability
実数
は
実数
より
less
では %n
(=>
(
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
組織
は
DepartmentOfFn
組織
and
物理
と
equal
では %n
組織
2 は組織
組織
の一部では %n
組織
は
組織
2 と
equal
では
エンティティー
は
物理
の
instance
では %n
組織
は
エンティティー
に
interested
が %n
実数
は
組織
は
エンティティー
の
agent
では %n の
probability
と
equal
では %n
エンティティー
2 は
組織
2 は
エンティティー
の
agent
では %n の
probability
と
equal
では %n
実数
は
エンティティー
2 より
greater
では %n
(=>
(
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
関数量
実数
の
MilesPerHour
(s) は
時間分
per
長さ測定
と
equal
では %n
実数
の
MilesPerHour
(s) は
時間分
per
長さ測定
と
equal
では %n
実数
は
実数
より
greater
では %n
実数
PROB は
SpeedGovernor
の
measure
は
実数
の
MilesPerHour
(s) では %n の
probability
と
equal
では %n
実数
PROB は
SpeedGovernor
の
measure
は
実数
の
MilesPerHour
(s) では %n の
probability
と
equal
では %n
実数
PROB は
実数
PROB より
greater
では %n
(=>
(
and
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
greaterThan
?NUMBER2 ?NUMBER1))
Merge.kif 2606-2611
公式
は
公式
の 可能性を
increase
s %n{ない}
公式
の
probability
は
実数
と
equal
では %n
公式
が
実数
では 場合の
公式
の
probability
実数
は
実数
より
greater
では %n
(=>
(
and
(
independentProbability
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
equal
?NUMBER2 ?NUMBER1))
Merge.kif 2640-2645
公式
と
公式
の 確率 は
independent
では %n
公式
の
probability
は
実数
と
equal
では %n
公式
が
実数
では 場合の
公式
の
probability
実数
は
実数
と
equal
では %n
(=>
(
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
実数
の
測定単位
(s)
測定単位
は
CompositeUnitOfMeasure
の
instance
では %n
エンティティー
は
UnitOfLength
の
instance
では %n
エンティティー
は
UnitOfDuration
の
instance
では %n
実数
は
Vehicle
の
measure
は
時間分
の
エンティティー
(s)
per
長さ測定
の
エンティティー
(s) では %n の
probability
と
equal
では %n
実数
は
Vehicle
の
measure
は
時間分
の
エンティティー
(s)
per
長さ測定
の
エンティティー
(s) では %n の
probability
と
equal
では %n
時間分
per
長さ測定
は
実数
より
greater
では %n
実数
は
時間分
per
長さ測定
より
greater
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
工程
and
AutonomousAgent
エンティティー
は
AutonomousAgent
の
instance
では %n
実数
は
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n の
probability
と
equal
では %n
実数
は
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n の
probability
と
equal
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
オブジェクト
and
オブジェクト
エンティティー
は
オブジェクト
の
instance
では %n
オブジェクト
PROB は
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n の
probability
と
equal
では %n
実数
は
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n の
probability
と
equal
では %n
オブジェクト
PROB は
実数
より
greater
では %n
(=>
(
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
工程
and
工程
エンティティー
は
工程
の
instance
では %n
工程
PROB は
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n の
probability
と
equal
では %n
実数
は
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n の
probability
と
equal
では %n
工程
PROB は
実数
より
greater
では %n
(=>
(
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
オブジェクト
and
オブジェクト
エンティティー
は
オブジェクト
の
instance
では %n
オブジェクト
PROB は
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n の
probability
と
equal
では %n
実数
は
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n の
probability
と
equal
では %n
オブジェクト
PROB は
実数
より
greater
では %n
(=>
(
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
工程
and
工程
エンティティー
は
工程
の
instance
では %n
工程
PROB は
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n の
probability
と
equal
では %n
実数
は
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n の
probability
と
equal
では %n
工程
PROB は
実数
より
greater
では %n
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
実数
Experimenting
は
Experimenting
の
instance
では %n
公式
は
公式
の
instance
では %n
公式
は
Experimenting
の
patient
では %n
実数
は
公式
の
probability
を
express
es %n{ない}
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?VALUE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 569-575
pValue
Experimenting
and
実数
Experimenting
は
Experimenting
の
instance
では %n
公式
は
公式
の
instance
では %n
公式
は
Experimenting
の
patient
では %n
実数
は
公式
の
probability
を
express
es %n{ない}
(=>
(
emotionTendency
?A ?ES)
(
greaterThan
(
ProbabilityFn
(
attribute
?A ?ES))
(
ProbabilityFn
(
not
(
attribute
?A ?ES)))))
emotion.kif 146-153
emotionTendency
AutonomousAgent
and
感情状態
感情状態
は
AutonomousAgent
の
attribute
では %n の
probability
は
感情状態
は
AutonomousAgent
の
attribute
では の
probability
より
greater
では %n
(=>
(
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
工程
は
Experimenting
の
instance
では %n
公式
エンティティー
エンティティー
は
公式
の
instance
では %n
エンティティー
は
工程
の
result
では %n
公式
は
公式
の
instance
では %n
公式
は
工程
の
patient
では %n
公式
の
probability
は
エンティティー
を
express
es %n{ない}
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17600-17606
ステートメント
公式
には
Likely
の
modal
force
が ある
公式
is
True
%n の
probability
は
公式
is
False
%n の
probability
より
greater
では %n
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17612-17618
ステートメント
公式
には
Unlikely
の
modal
force
が ある
公式
is
False
%n の
probability
は
公式
is
True
%n の
probability
より
greater
では %n
(=>
(
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
時間間隔
and
AutonomousAgent
工程
エンティティー
,
エンティティー
,
実数
and
実数
工程
は
金融取引
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
時間間隔
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
実数
は
工程
の
time
の existence は
エンティティー
の
during
に takes %n{ない}
customer
エンティティー
and
AutonomousAgent
の
probability
と
equal
では %n
実数
は
工程
の
time
の existence は
エンティティー
の
during
に take ない
customer
エンティティー
and
AutonomousAgent
の
probability
と
equal
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
エンティティー
_COLL1,
エンティティー
_COLL2 and
実数
コレクション
コレクション
and
Experimenting
コレクション
は
コレクション
の
instance
では %n
コレクション
は
コレクション
の
instance
では %n
statisticalPopulation
エンティティー
_COLL1,
コレクション
and
Experimenting
statisticalPopulation
エンティティー
_COLL2,
コレクション
and
Experimenting
実数
は
コレクション
は
コレクション
と
equal
では %n の
probability
と
equal
では %n
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