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
decreasesLikelihood
Sigma KEE - decreasesLikelihood
decreasesLikelihood
appearance as argument number 1
(
disjointRelation
decreasesLikelihood
independentProbability
)
Merge.kif 2600-2600
降低可能性
和
独立发生机率
是
disjoint
关系
(
documentation
decreasesLikelihood
ChineseLanguage
"这是其中一个基本的
ProbabilityRelation
, (
decreasesLikelihood
?FORMULA1 ?FORMULA2)的意思是如果 ?FORMULA1 属真,那么 ?FORMULA2 不太 可能会是真的。")
chinese_format.kif 1910-1912
(
documentation
decreasesLikelihood
EnglishLanguage
"One of the basic
ProbabilityRelation
s. (
decreasesLikelihood
?FORMULA1 ?FORMULA2) means that ?FORMULA2 is less likely to be true if ?FORMULA1 is true.")
Merge.kif 2619-2621
(
documentation
decreasesLikelihood
JapaneseLanguage
"基本的な
ProbabilityRelation
。 (
decreasesLikelihood
?FORMULA1 ?FORMULA2)とは、?FORMULA1が正しい場合、?FORMULA2が正しい可 能性が高いことを意味する。")
japanese_format.kif 537-539
(
domain
decreasesLikelihood
1
Formula
)
Merge.kif 2616-2616
降低可能性
的 1 数量 是
公式
的
instance
(
domain
decreasesLikelihood
2
Formula
)
Merge.kif 2617-2617
降低可能性
的 2 数量 是
公式
的
instance
(
instance
decreasesLikelihood
BinaryPredicate
)
Merge.kif 2614-2614
降低可能性
是
二元谓语
的
instance
(
instance
decreasesLikelihood
IrreflexiveRelation
)
Merge.kif 2615-2615
降低可能性
是
非自反关系
的
instance
(
instance
decreasesLikelihood
ProbabilityRelation
)
Merge.kif 2613-2613
降低可能性
是
概率关系
的
instance
appearance as argument number 2
(
disjointRelation
increasesLikelihood
decreasesLikelihood
)
Merge.kif 2598-2598
提高可能性
和
降低可能性
是
disjoint
关系
(
format
ChineseLanguage
decreasesLikelihood
"%1 %n{doesn't} 减少 %2 发生的机率")
chinese_format.kif 89-89
(
format
EnglishLanguage
decreasesLikelihood
"%1 %n{doesn't}
de
crease%p{s} likelihood of %2")
english_format.kif 89-89
(
format
FrenchLanguage
decreasesLikelihood
"%1 %n{ne} diminue %n{pas} la probabilit� de %2")
french_format.kif 67-67
(
format
JapaneseLanguage
decreasesLikelihood
"%1 は %2 を
de
crease%p{s} %n{ない} 可能性がある")
japanese_format.kif 1893-1893
(
format
PortugueseLanguage
decreasesLikelihood
"%1 %n{nao} diminui %n a probabilidade de %2")
portuguese_format.kif 19-19
(
format
cz
decreasesLikelihood
"%1 %n{doesn't}
de
crease%p{s} likelihood of %2")
relations-cz.txt 91-91
(
format
de
decreasesLikelihood
"%1 verringert die Wahrscheinlichkeit von %2 %n{nicht}")
relations-de.txt 98-98
(
format
hi
decreasesLikelihood
"%1 %2 kii sambhaavanaa ko ghaTaataa %n{nahiin} hai")
relations-hindi.txt 108-108
(
format
ro
decreasesLikelihood
"%1 %n{nu}
de
crease%t{reduce} probabilitatea lui %2")
relations-ro.kif 86-86
(
format
sv
decreasesLikelihood
"%1 minskar %n{inte} sannolikheten för %2")
relations-sv.txt 66-66
(
format
tg
decreasesLikelihood
"%1 %n ay nagbabawas ang malamang sa %2")
relations-tg.txt 150-150
(
format
tg
decreasesLikelihood
"%1 %n ay ngbabawas ang malamang sa %2")
relations-cb.txt 101-101
(
termFormat
ChineseLanguage
decreasesLikelihood
"降低可能性")
chinese_format.kif 90-90
(
termFormat
ChineseTraditionalLanguage
decreasesLikelihood
"降低可能性")
domainEnglishFormat.kif 18833-18833
(
termFormat
EnglishLanguage
decreasesLikelihood
"decreases likelihood")
domainEnglishFormat.kif 18832-18832
(
termFormat
de
decreasesLikelihood
"verringertWahrscheinlichkeit")
terms-de.txt 27-27
(
termFormat
tg
decreasesLikelihood
"nagbabawas malamang")
relations-tg.txt 151-151
antecedent
(=>
(
and
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Merge.kif 2623-2628
如果
公式
减少
另一个 公式
发生的机率 和
那个 另外 公式
的机率
equal
实数
和 如果
那个 另外 公式
是正确, 那
那个 公式
的机率就 是
另一个 实数
,
然后
那个 另外 实数
是
lessThan
那个 实数
consequent
(=>
(
and
(
instance
?FORMULA1
Formula
)
(
instance
?FORMULA2
Formula
))
(
or
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
independentProbability
?FORMULA1 ?FORMULA2)))
Merge.kif 2647-2654
如果
公式
是
公式
的
instance
和
另一个 公式
是
公式
的
instance
,
然后
那个 公式
增加
那个 另外 公式
发生的机率 或
那个 公式
减少
那个 另外 公式
发生的机率 或
那个 公式
和
那个 另外 公式
各自独立发生的机率是 %n
(=>
(
hinders
?X ?PROC)
(
exists
(?L ?T)
(
decreasesLikelihood
(
and
(
equal
(
WhenFn
?X) ?T)
(
eventLocated
?X ?L))
(
holdsDuring
?T
(
exists
(?Y)
(
and
(
instance
?Y ?PROC)
(
eventLocated
?Y ?L)))))))
Merge.kif 4399-4410
如果
过程
hinders
另一个 有点 过程
,
然后 有存在
实体
和
另一个 实体
这样
那个 过程
出现 的
time
equal
那个 另外 实体
和
那个 过程
是
located
在
那个 实体
减少 有存在
第三 实体
这样
那个 第三 实体
是
另一个 有点 过程
的
instance
和
那个 第三 实体
是
located
在
那个 实体
在
那个 另外 实体
holdsDuring
发生的机率
(=>
(
hindersSubclass
?PROC1 ?PROC2)
(
forall
(?TIME ?PLACE)
(
decreasesLikelihood
(
holdsDuring
?TIME
(
exists
(?INST1)
(
and
(
instance
?INST1 ?PROC1)
(
eventLocated
?INST1 ?PLACE))))
(
holdsDuring
?TIME
(
exists
(?INST2)
(
and
(
instance
?INST2 ?PROC2)
(
eventLocated
?INST2 ?PLACE)))))))
Merge.kif 4319-4332
如果
有点 过程
的例子
hinder
另一个 有点 过程
的
instances
,
然后 对所有
实体
和
另一个 实体
有存在
第三 实体
这样
那个 第三 实体
是
有点 过程
的
instance
和
那个 第三 实体
是
located
在
那个 另外 实体
在
那个 实体
holdsDuring
减少 有存在
第四 实体
这样
那个 第四 实体
是
另一个 有点 过程
的
instance
和
那个 第四 实体
是
located
在
那个 另外 实体
在
那个 实体
holdsDuring
发生的机率
(=>
(
instance
?SV
SafetyVest
)
(
hasPurpose
?SV
(
exists
(?PERSON ?SPECTATOR)
(
and
(
instance
?PERSON
Animal
)
(
instance
?SPECTATOR
Human
)
(
increasesLikelihood
(
wears
?PERSON ?SV)
(
exists
(?SEE)
(
and
(
instance
?SEE
Seeing
)
(
patient
?SEE ?PERSON)
(
experiencer
?SEE ?SPECTATOR))))
(
decreasesLikelihood
(
exists
(?SEE)
(
and
(
instance
?SEE
Seeing
)
(
patient
?SEE ?PERSON)
(
experiencer
?SEE ?SPECTATOR)))
(
exists
(?INJ)
(
and
(
instance
?INJ
Injuring
)
(
agent
?INJ ?SPECTATOR)
(
patient
?INJ ?PERSON))))))))
Cars.kif 3558-3582
如果
物理
是
SafetyVest
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
动物
的
instance
和
那个 另外 实体
是
人类
的
instance
和
那个 实体
wears
那个 物理
增加 有存在
第三 实体
这样
那个 第三 实体
是
看
的
instance
和
那个 实体
是
那个 第三 实体
的
patient
和
那个 另外 实体
经历了
那个 第三 实体
发生的机率 和 有存在
那个 第三 实体
这样
那个 第三 实体
是
看
的
instance
和
那个 实体
是
那个 第三 实体
的
patient
和
那个 另外 实体
经历了
那个 第三 实体
减少 有存在
第四 实体
这样
那个 第四 实体
是
受伤
的
instance
和
那个 另外 实体
是
那个 第四 实体
的
agent
和
那个 实体
是
那个 第四 实体
的
patient
发生的机率
(=>
(
instance
?TA
TranexamicAcid
)
(
hasPurpose
?TA
(
exists
(?P)
(
and
(
instance
?P
Human
)
(
decreasesLikelihood
(
exists
(?I)
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?TA)
(
destination
?I ?P)))
(
exists
(?P ?B)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
origin
?B ?P))))))))
Medicine.kif 1050-1066
如果
物理
是
TranexamicAcid
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
人类
的
instance
和 有存在
另一个 实体
这样
那个 另外 实体
是
消化
的
instance
和
objectTransferred
那个 另外 实体
and
那个 物理
和
那个 另外 实体
在
那个 实体
结束 减少 有存在
那个 实体
和
第三 实体
这样
那个 实体
是
人类
的
instance
和
那个 第三 实体
是
流血的
的
instance
和
那个 实体
是
那个 第三 实体
的源头 发生的机率
(=>
(
instance
?X
FuelCapLock
)
(
hasPurpose
?X
(
exists
(?TANK ?HOLE ?T)
(
and
(
instance
?TANK
GasTank
)
(
hole
?HOLE ?TANK)
(
decreasesLikelihood
(
holdsDuring
?T
(
and
(
connected
?X ?HOLE)
(
attribute
?X
Locked
)))
(
holdsDuring
?T
(
exists
(?STEAL ?FUEL)
(
and
(
instance
?STEAL
Stealing
)
(
instance
?FUEL
Fuel
)
(
located
?FUEL ?TANK)
(
patient
?STEAL ?FUEL)))))))))
Cars.kif 1016-1034
如果
物理
是
FuelCapLock
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
GasTank
的
instance
和
那个 另外 实体
是
那个 实体
内的
hole
和
那个 物理
和
那个 另外 实体
是
connected
和
锁定
是
那个 物理
的
attribute
在
那个 第三 实体
holdsDuring
减少 有存在
第四 实体
和
第五 实体
这样
那个 第四 实体
是
偷窃行为
的
instance
和
那个 第五 实体
是
汽油
的
instance
和
那个 第五 实体
是
located
在
那个 实体
和
那个 第五 实体
是
那个 第四 实体
的
patient
在
那个 第三 实体
holdsDuring
发生的机率
(=>
(
instance
?X
SteeringColumnLock
)
(
hasPurpose
?X
(
exists
(?SC ?P ?CAR ?T)
(
and
(
instance
?SC
SteeringColumn
)
(
instance
?CAR
Automobile
)
(
component
?SC ?CAR)
(
part
?X ?SC)
(
instance
?P
Protecting
)
(
instrument
?P ?X)
(
decreasesLikelihood
(
holdsDuring
?T
(
attribute
?X
Locked
))
(
holdsDuring
?T
(
exists
(?STEAL)
(
and
(
instance
?STEAL
Stealing
)
(
patient
?STEAL ?CAR)))))))))
Cars.kif 3994-4012
如果
物理
是
SteeringColumnLock
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
SteeringColumn
的
instance
和
那个 第三 实体
是
汽车
的
instance
和
那个 实体
是
那个 第三 实体
的
component
和
那个 物理
是
那个 实体
的
part
和
那个 另外 实体
是
Protecting
的
instance
和
那个 物理
是导致
那个 另外 实体
的
instrument
和
锁定
是
那个 物理
的
attribute
在
那个 第四 实体
holdsDuring
减少 有存在
第五 实体
这样
那个 第五 实体
是
偷窃行为
的
instance
和
那个 第三 实体
是
那个 第五 实体
的
patient
在
那个 第四 实体
holdsDuring
发生的机率
appearance as argument number 0
(
decreasesLikelihood
(
and
(
biochemicalAgentSyndrome
?AGENT ?SYMPTOM)
(
biochemicalAgentAntidote
?AGENT ?SUBSTANCE ?PROCESS)
(
instance
?SAMPLE ?SUBSTANCE)
(
instance
?THERAPY ?PROCESS)
(
experiencer
?THERAPY ?ORGANISM)
(
patient
?THERAPY ?SAMPLE))
(
attribute
?ORGANISM ?SYMPTOM))
WMD.kif 921-929
?SYMPTOM 是 ?AGENT 的
biochemical
病毒征兆 和 ?AGENT
biochemical
病毒解毒制剂 ?SUBSTANCE 对于 ?PROCESS 和 ?SAMPLE 是 ?SUBSTANCE 的
instance
和 ?THERAPY 是 ?PROCESS 的
instance
和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的
patient
减少 ?SYMPTOM 是 ?ORGANISM 的
attribute
发生的机率
(
decreasesLikelihood
(
exists
(?X ?CUT ?PAPER ?CBO ?INFO)
(
and
(
instance
?X
PaperShredder
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?X)
(
instance
?PAPER
Paper
)
(
patient
?CUT ?PAPER)
(
located
?CBO ?PAPER)
(
instance
?CBO
VisualContentBearingObject
)
(
containsInformation
?CBO ?INFO)))
(
exists
(?READ)
(
and
(
instance
?READ
Interpreting
)
(
patient
?READ ?INFO)
(
earlier
(
WhenFn
?CUT)
(
WhenFn
?READ)))))
Mid-level-ontology.kif 18202-18219
有存在 ?X, ?CUT,, , ?PAPER,, , ?CBO, and 和 ?INFO 这样 ?X 是
PaperShredder
的
instance
和 ?CUT 是
切开
的
instance
和 ?X 是导致 ?CUT 的
instrument
和 ?PAPER 是
纸
的
instance
和 ?PAPER 是 ?CUT 的
patient
和 ?CBO 是
located
在 ?PAPER 和 ?CBO 是
VisualContentBearingObject
的
instance
和 ?CBO
contains
?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是
解读
的
instance
和 ?INFO 是 ?READ 的
patient
和 ?CUT 出现 的
time
比?READ 出现 的
time
发生的
earlier
发生的机率
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