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
et
decreasesLikelihood
sont
disjoint
(
disjointRelation
increasesLikelihood
independentProbability
)
Merge.kif 2599-2599
increasesLikelihood
et
independentProbability
sont
disjoint
(
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
Le nombre 1 argument de
increasesLikelihood
est une
instance
de
formule
(
domain
increasesLikelihood
2
Formula
)
Merge.kif 2597-2597
Le nombre 2 argument de
increasesLikelihood
est une
instance
de
formule
(
instance
increasesLikelihood
BinaryPredicate
)
Merge.kif 2594-2594
increasesLikelihood
est une
instance
de
pr�dicat binaire
(
instance
increasesLikelihood
IrreflexiveRelation
)
Merge.kif 2595-2595
increasesLikelihood
est une
instance
de
relation irr�flexive
(
instance
increasesLikelihood
ProbabilityRelation
)
Merge.kif 2593-2593
increasesLikelihood
est une
instance
de
relation de probabilit�
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
Formule
augmente
la probabilit� de
formule
le
probabilit
� de
formule
est
nombre r�el
la
probabilit
� de
formule
pourvu que
formule
vaut
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
consequent
(=>
(
and
(
instance
?FORMULA1
Formula
)
(
instance
?FORMULA2
Formula
))
(
or
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
independentProbability
?FORMULA1 ?FORMULA2)))
Merge.kif 2647-2654
Formule
est une
instance
de
formule
formule
est une
instance
de
formule
formule
augmente
la probabilit� de
formule
formule
diminue
la probabilit� de
formule
probabilit� de
formule
et
formule
est
ind
�pendente
(=>
(
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
Objet
est une
instance
de
CarAlarm
objet
est une
instance
de
SelfPoweredRoadVehicle
objet
est une
partie
de
objet
entit�
entit�
,
entit�
and
entit�
objet
a pour
but
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
entit�
est une
instance
de
humain
entit�
est un
agent
de
entit�
objet
est un
patient
de
entit�
temps
d'existence de
entit�
est
entit�
eventPartlyLocated
entit�
and
entit�
entit�
entit�
est une
instance
de
son irradiant
entit�
est un
agent
de
objet
entit�
cause
entit�
entit�
a pour
but
entit�
entit�
est une
instance
de
humain
entit�
est
Near
�
entit�
pendant
entit�
augmente
la probabilit� de
entit�
conna
�t
entit�
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
eventPartlyLocated
entit�
and
entit�
objet
est un
patient
de
entit�
pendant
entit�
temps
d'existence de
entit�
finit
temps
d'existence de
entit�
(=>
(
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
maladie ou syndrome
,
substance biologique active
and
processus
entit�
position temporel
,
entit�
and
entit�
maladie ou syndrome
est un
attribut
de
entit�
pendant
position temporel
entit�
est une
instance
de
processus
temps
d'existence de
entit�
est une
partie
de
position temporel
entit�
exp
�rimente
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
substance biologique active
augmente
la probabilit� de
maladie ou syndrome
est un
attribut
de
entit�
pendant
immediatement
apr
�s
position temporel
(=>
(
diseaseSymptom
?DISEASE ?SYMPTOM)
(
exists
(?ORGANISM)
(
increasesLikelihood
(
attribute
?ORGANISM ?DISEASE)
(
attribute
?ORGANISM ?SYMPTOM))))
WMD.kif 877-882
diseaseSymptom
maladie ou syndrome
and
maladie ou syndrome
entit�
maladie ou syndrome
est un
attribut
de
entit�
augmente
la probabilit� de
maladie ou syndrome
est un
attribut
de
entit�
(=>
(
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
Physique
est une
instance
de
SafetyVest
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
animal
entit�
est une
instance
de
humain
entit�
porte
physique
augmente
la probabilit� de
entit�
entit�
est une
instance
de
voir
entit�
est un
patient
de
entit�
entit�
exp
�rimente
entit�
entit�
entit�
est une
instance
de
voir
entit�
est un
patient
de
entit�
entit�
exp
�rimente
entit�
diminue
la probabilit� de
entit�
entit�
est une
instance
de
blesser
entit�
est un
agent
de
entit�
entit�
est un
patient
de
entit�
(=>
(
pathologicSymptom
?D ?S)
(
exists
(?O)
(
increasesLikelihood
(
attribute
?O ?D)
(
exists
(?I)
(
and
(
instance
?I ?S)
(
experiencer
?I ?O))))))
Merge.kif 10414-10422
pathologicSymptom
maladie ou syndrome
and
processus pathologique
entit�
maladie ou syndrome
est un
attribut
de
entit�
augmente
la probabilit� de
entit�
entit�
est une
instance
de
processus pathologique
entit�
exp
�rimente
entit�
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 est une
instance
de ?PROCESSTYPE ?ORGANISM
exp
�rimente ?PROCESS
augmente
la probabilit� de ?SYMPTOM est un
attribut
de ?ORGANISM
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