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
不相交的關係
增加可能性
and
降低可能性
(
disjointRelation
increasesLikelihood
independentProbability
)
Merge.kif 2599-2599
不相交的關係
增加可能性
and
獨立概率
(
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
域
增加可能性
, 1 and
Formula
(
domain
increasesLikelihood
2
Formula
)
Merge.kif 2597-2597
域
增加可能性
, 2 and
Formula
(
instance
increasesLikelihood
BinaryPredicate
)
Merge.kif 2594-2594
例
增加可能性
and
BinaryPredicate
(
instance
increasesLikelihood
IrreflexiveRelation
)
Merge.kif 2595-2595
例
增加可能性
and
IrreflexiveRelation
(
instance
increasesLikelihood
ProbabilityRelation
)
Merge.kif 2593-2593
例
增加可能性
and
ProbabilityRelation
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
增加可能性
Formula
and
Formula
等於
可能性
Formula
and
RealNumber
條件概率
Formula
,
Formula
and
RealNumber
比較多
RealNumber
and
RealNumber
consequent
(=>
(
and
(
instance
?FORMULA1
Formula
)
(
instance
?FORMULA2
Formula
))
(
or
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
independentProbability
?FORMULA1 ?FORMULA2)))
Merge.kif 2647-2654
例
Formula
and
Formula
例
Formula
and
Formula
增加可能性
Formula
and
Formula
降低可能性
Formula
and
Formula
獨立概率
Formula
and
Formula
(=>
(
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
例
Object
and
CarAlarm
例
Object
and
自供電公路車輛
部分
Object
and
Object
entity
entity
,
entity
and
entity
有目的
Object
and
例
entity
and
偷竊行為
例
entity
and
Damaging
例
entity
and
Human
agent
entity
and
entity
患者
entity
and
Object
等於
何時
entity
and
entity
entity
是
partly
located
在
entity
entity
例
entity
and
RadiatingSound
agent
entity
and
Object
原因
entity
and
entity
有目的
entity
and
增加可能性
entity
例
entity
and
Human
持有期間
entity
and
方位
entity
,
entity
and
近
and
知道
entity
and
entity
例
entity
and
偷竊行為
例
entity
and
Damaging
entity
是
partly
located
在
entity
持有期間
entity
and
患者
entity
and
Object
飾面
何時
entity
and
何時
entity
(=>
(
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
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
entity
TimePosition
,
entity
and
entity
持有期間
TimePosition
and
attribute
entity
and
DiseaseOrSyndrome
增加可能性
例
entity
and
Process
時間部分
何時
entity
and
TimePosition
體驗者
entity
and
entity
患者
entity
and
entity
例
entity
and
BiologicallyActiveSubstance
and
持有期間
眼前的未來
TimePosition
and
attribute
entity
and
DiseaseOrSyndrome
(=>
(
diseaseSymptom
?DISEASE ?SYMPTOM)
(
exists
(?ORGANISM)
(
increasesLikelihood
(
attribute
?ORGANISM ?DISEASE)
(
attribute
?ORGANISM ?SYMPTOM))))
WMD.kif 877-882
DiseaseOrSyndrome
是
DiseaseOrSyndrome
的
disease
病狀
entity
增加可能性
attribute
entity
and
DiseaseOrSyndrome
and
attribute
entity
and
DiseaseOrSyndrome
(=>
(
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
例
Physical
and
SafetyVest
有目的
Physical
and
entity
entity
例
entity
and
Animal
例
entity
and
Human
增加可能性
穿
entity
and
Physical
and
entity
例
entity
and
Seeing
患者
entity
and
entity
體驗者
entity
and
entity
降低可能性
entity
例
entity
and
Seeing
患者
entity
and
entity
體驗者
entity
and
entity
and
entity
例
entity
and
Injuring
agent
entity
and
entity
患者
entity
and
entity
(=>
(
pathologicSymptom
?D ?S)
(
exists
(?O)
(
increasesLikelihood
(
attribute
?O ?D)
(
exists
(?I)
(
and
(
instance
?I ?S)
(
experiencer
?I ?O))))))
Merge.kif 10414-10422
pathologicSymptom
DiseaseOrSyndrome
and
PathologicProcess
entity
增加可能性
attribute
entity
and
DiseaseOrSyndrome
and
entity
例
entity
and
PathologicProcess
體驗者
entity
and
entity
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
增加可能性
?SYMPTOM 是 ?AGENT 的
biochemical
病毒徵兆 ?PROCESSTYPE 是 ?AGENT 的
biochemical
病毒傳遞
例
?PROCESS and ?PROCESSTYPE
體驗者
?PROCESS and ?ORGANISM and
attribute
?ORGANISM and ?SYMPTOM
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