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
increasesLikelihood
Sigma KEE - increasesLikelihood
increasesLikelihood
appearance as argument number 1
(
disjointRelation
increasesLikelihood
decreasesLikelihood
)
Merge.kif 2598-2598
increasesLikelihood
と
decreasesLikelihood
は
disjoint
では %n
(
disjointRelation
increasesLikelihood
independentProbability
)
Merge.kif 2599-2599
increasesLikelihood
と
independentProbability
は
disjoint
では %n
(
documentation
increasesLikelihood
ChineseLanguage
"这是其中一个基本的
ProbabilityRelation
, (
increasesLikelihood
?FORMULA1 ?FORMULA2)的意思是如果 ?FORMULA1 属真,那么 ?FORMULA2 更有 可能会是真的。")
chinese_format.kif 1907-1909
(
documentation
increasesLikelihood
EnglishLanguage
"One of the basic
ProbabilityRelation
s. (
increasesLikelihood
?FORMULA1 ?FORMULA2) means that ?FORMULA2 is more likely to be true if ?FORMULA1 is true.")
Merge.kif 2602-2604
(
documentation
increasesLikelihood
JapaneseLanguage
"基本的な
ProbabilityRelation
。 (
increasesLikelihood
?FORMULA1 ?FORMULA2) とは、?FORMULA1 が正しい場合、?FORMULA2 が正しい 可能性が高いことを意味する。")
japanese_format.kif 534-536
(
domain
increasesLikelihood
1
Formula
)
Merge.kif 2596-2596
increasesLikelihood
の数値 1 引数は
公式
の
instance
では %n
(
domain
increasesLikelihood
2
Formula
)
Merge.kif 2597-2597
increasesLikelihood
の数値 2 引数は
公式
の
instance
では %n
(
instance
increasesLikelihood
BinaryPredicate
)
Merge.kif 2594-2594
increasesLikelihood
は
2進述語
の
instance
では %n
(
instance
increasesLikelihood
IrreflexiveRelation
)
Merge.kif 2595-2595
increasesLikelihood
は
非反射関係
の
instance
では %n
(
instance
increasesLikelihood
ProbabilityRelation
)
Merge.kif 2593-2593
increasesLikelihood
は
確率関係
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
increasesLikelihood
"%1 %n{doesn't} 增加 %2 发生的机率")
chinese_format.kif 125-125
(
format
EnglishLanguage
increasesLikelihood
"%1 %n{doesn't} increase%p{s} likelihood of %2")
english_format.kif 126-126
(
format
FrenchLanguage
increasesLikelihood
"%1 %n{n'} augmente %n{pas} la probabilit� de %2")
french_format.kif 84-84
(
format
ItalianLanguage
increasesLikelihood
"%1 %n{non} aumenta%p{s} la verosimiglianza di %2")
relations-it.txt 141-141
(
format
JapaneseLanguage
increasesLikelihood
"%1 は %2 の 可能性を increase%p{s} %n{ない}")
japanese_format.kif 1911-1911
(
format
PortugueseLanguage
increasesLikelihood
"%1 %n{nao} aumenta %n a probabilidade de %2")
portuguese_format.kif 36-36
(
format
cz
increasesLikelihood
"%1 %n{doesn't} increase%p{s} likelihood of %2")
relations-cz.txt 90-90
(
format
de
increasesLikelihood
"%1 vergroessert die Wahrscheinlichkeit von %2 %n{nicht}")
relations-de.txt 148-148
(
format
hi
increasesLikelihood
"%1 %2 kii sambhaavanaa men vriddhi %n{nahiin} karataa hai")
relations-hindi.txt 180-180
(
format
ro
increasesLikelihood
"%1 %n{nu} increase%t{sporeºte} probabilitatea lui %2")
relations-ro.kif 103-103
(
format
sv
increasesLikelihood
"%1 ökar %n{inte} sannolikheten för %2")
relations-sv.txt 83-83
(
format
tg
increasesLikelihood
"%1 %n ay nagdagdag ang kalamangang mangyari ng %2")
relations-tg.txt 286-286
(
termFormat
ChineseLanguage
increasesLikelihood
"增加可能性")
domainEnglishFormat.kif 29545-29545
(
termFormat
ChineseLanguage
increasesLikelihood
"提高可能性")
chinese_format.kif 126-126
(
termFormat
ChineseTraditionalLanguage
increasesLikelihood
"增加可能性")
domainEnglishFormat.kif 29544-29544
(
termFormat
EnglishLanguage
increasesLikelihood
"increases likelihood")
domainEnglishFormat.kif 29543-29543
(
termFormat
de
increasesLikelihood
"vergroessertWahrscheinlichkeit")
terms-de.txt 44-44
(
termFormat
tg
increasesLikelihood
"nagdagdag ang kalamangang mangyari")
relations-tg.txt 287-287
antecedent
(=>
(
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
consequent
(=>
(
and
(
instance
?FORMULA1
Formula
)
(
instance
?FORMULA2
Formula
))
(
or
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
independentProbability
?FORMULA1 ?FORMULA2)))
Merge.kif 2647-2654
公式
は
公式
の
instance
では %n
公式
は
公式
の
instance
では %n
公式
は
公式
の 可能性を
increase
s %n{ない}
公式
は
公式
を
decrease
s 可能性がある
公式
と
公式
の 確率 は
independent
では %n
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3710-3751
オブジェクト
は
CarAlarm
の
instance
では %n
オブジェクト
は
SelfPoweredRoadVehicle
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
エンティティー
エンティティー
,
エンティティー
and
エンティティー
オブジェクト
は
エンティティー
は
Stealing
の
instance
では %n
エンティティー
は
損害を与える
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
オブジェクト
は
エンティティー
の
patient
では %n
エンティティー
の
time
の existence は
エンティティー
と
equal
では %n
eventPartlyLocated
エンティティー
and
エンティティー
エンティティー
エンティティー
は
放射音
の
instance
では %n
オブジェクト
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
Near
対
エンティティー
では %n は
エンティティー
の
during
holds %n{ない} は
エンティティー
は
エンティティー
エンティティー
は
Stealing
の
instance
では %n
エンティティー
は
損害を与える
の
instance
では %n
eventPartlyLocated
エンティティー
and
エンティティー
オブジェクト
は
エンティティー
の
patient
では %n は
エンティティー
の
during
holds %n{ない} を
know
s %n{ない}
エンティティー
の
time
の existence は
エンティティー
の
time
の existence を
finish
es %n{ない} の 可能性を
increase
s %n{ない} の 目的 %n{ない}
の 目的 %n{ない}
(=>
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
exists
(?ORGANISM ?TIME ?SAMPLE ?PROC)
(
and
(
holdsDuring
?TIME
(
attribute
?ORGANISM ?DISEASE))
(
increasesLikelihood
(
and
(
instance
?PROC ?PROCESS)
(
temporalPart
(
WhenFn
?PROC) ?TIME)
(
experiencer
?PROC ?ORGANISM)
(
patient
?PROC ?SAMPLE)
(
instance
?SAMPLE ?SUBSTANCE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
attribute
?ORGANISM ?DISEASE)))))))
WMD.kif 941-955
diseaseMedicine
病気または症候群
,
生物活性物質
and
工程
エンティティー
時間位置
,
エンティティー
and
エンティティー
病気または症候群
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
は
工程
の
instance
では %n
エンティティー
の
time
の existence は
時間位置
の
part
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
生物活性物質
の
instance
では %n は
病気または症候群
は
エンティティー
の
attribute
では は
時間位置
の すぐ
after
の
during
holds %n{ない} の 可能性を
increase
s %n{ない}
(=>
(
diseaseSymptom
?DISEASE ?SYMPTOM)
(
exists
(?ORGANISM)
(
increasesLikelihood
(
attribute
?ORGANISM ?DISEASE)
(
attribute
?ORGANISM ?SYMPTOM))))
WMD.kif 877-882
diseaseSymptom
病気または症候群
and
病気または症候群
エンティティー
病気または症候群
は
エンティティー
の
attribute
では %n は
病気または症候群
は
エンティティー
の
attribute
では %n の 可能性を
increase
s %n{ない}
(=>
(
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
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
動物
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} は
エンティティー
エンティティー
は
見ること
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない} の 可能性を
increase
s %n{ない}
エンティティー
エンティティー
は
見ること
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない} は
エンティティー
エンティティー
は
けが
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n を
decrease
s 可能性がある の 目的 %n{ない}
(=>
(
pathologicSymptom
?D ?S)
(
exists
(?O)
(
increasesLikelihood
(
attribute
?O ?D)
(
exists
(?I)
(
and
(
instance
?I ?S)
(
experiencer
?I ?O))))))
Merge.kif 10414-10422
pathologicSymptom
病気または症候群
and
病理学的プロセス
エンティティー
病気または症候群
は
エンティティー
の
attribute
では %n は
エンティティー
エンティティー
は
病理学的プロセス
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない} の 可能性を
increase
s %n{ない}
appearance as argument number 0
(
increasesLikelihood
(
and
(
biochemicalAgentSyndrome
?AGENT ?SYMPTOM)
(
biochemicalAgentDelivery
?AGENT ?PROCESSTYPE)
(
instance
?PROCESS ?PROCESSTYPE)
(
experiencer
?PROCESS ?ORGANISM))
(
attribute
?ORGANISM ?SYMPTOM))
WMD.kif 767-773
biochemicalAgentSyndrome
?AGENT and ?SYMPTOM
biochemicalAgentDelivery
?AGENT and ?PROCESSTYPE ?PROCESS は ?PROCESSTYPE の
instance
では %n ?ORGANISM が ?PROCESS を
experience
s %n{ない} は ?SYMPTOM は ?ORGANISM の
attribute
では %n の 可能性を
increase
s %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