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
e
decreasesLikelihood
sono
disgiunti
(
disjointRelation
increasesLikelihood
independentProbability
)
Merge.kif 2599-2599
increasesLikelihood
e
independentProbability
sono
disgiunti
(
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
Il numero 1 argomenti di
increasesLikelihood
è un
istanza
di
Formula
(
domain
increasesLikelihood
2
Formula
)
Merge.kif 2597-2597
Il numero 2 argomenti di
increasesLikelihood
è un
istanza
di
Formula
(
instance
increasesLikelihood
BinaryPredicate
)
Merge.kif 2594-2594
increasesLikelihood
è un'
istanza
di
PredicatoBinario
(
instance
increasesLikelihood
IrreflexiveRelation
)
Merge.kif 2595-2595
increasesLikelihood
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
increasesLikelihood
ProbabilityRelation
)
Merge.kif 2593-2593
increasesLikelihood
è un'
istanza
di
RelazioneDiProbabilit�
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
aumenta
s la verosimiglianza di
Formula
la
probabilit
à di
Formula
is
uguale
a
NumeroReale
probabilit
à di
Formula
ammesso che
Formula
valga è
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
consequent
(=>
(
and
(
instance
?FORMULA1
Formula
)
(
instance
?FORMULA2
Formula
))
(
or
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
independentProbability
?FORMULA1 ?FORMULA2)))
Merge.kif 2647-2654
Formula
è un'
istanza
di
Formula
Formula
è un'
istanza
di
Formula
Formula
aumenta
s la verosimiglianza di
Formula
decreasesLikelihood
Formula
and
Formula
probabilità di
Formula
e
Formula
è
indipendente
(=>
(
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
Oggetto
è un'
istanza
di
CarAlarm
Oggetto
è un'
istanza
di
SelfPoweredRoadVehicle
Oggetto
è una
parte
di
Oggetto
Entit�
Entit�
,
Entit�
and
Entit�
Oggetto
ha
scopo
Entit�
è un'
istanza
di
Stealing
Entit�
è un'
istanza
di
Danneggiare
Entit�
è un'
istanza
di
Umano
Entit�
è un
agente
di
Entit�
Oggetto
è un
paziente
di
Entit�
il
tempo
di esistenza di
Entit�
is
uguale
a
Entit�
eventPartlyLocated
Entit�
and
Entit�
Entit�
Entit�
è un'
istanza
di
OndaSonora
Entit�
è un
agente
di
Oggetto
Entit�
causa
s
Entit�
Entit�
ha
scopo
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è
Near
a
Entit�
vales
durante
Entit�
aumenta
s la verosimiglianza di
Entit�
conosce
s
Entit�
Entit�
è un'
istanza
di
Stealing
Entit�
è un'
istanza
di
Danneggiare
eventPartlyLocated
Entit�
and
Entit�
Oggetto
è un
paziente
di
Entit�
vales
durante
Entit�
il
tempo
di esistenza di
Entit�
finisce
es il
tempo
di esistenza di
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
MalattiaOSindrome
,
SostanzaBiologicamenteAttiva
and
Processo
Entit�
PosizioneTemporale
,
Entit�
and
Entit�
attribute
Entit�
and
MalattiaOSindrome
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Processo
il
tempo
di esistenza di
Entit�
è una
parte
di
PosizioneTemporale
Entit�
esperisce
s
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
SostanzaBiologicamenteAttiva
aumenta
s la verosimiglianza di
attribute
Entit�
and
MalattiaOSindrome
vales
durante
immediatamente
dopo
PosizioneTemporale
(=>
(
diseaseSymptom
?DISEASE ?SYMPTOM)
(
exists
(?ORGANISM)
(
increasesLikelihood
(
attribute
?ORGANISM ?DISEASE)
(
attribute
?ORGANISM ?SYMPTOM))))
WMD.kif 877-882
diseaseSymptom
MalattiaOSindrome
and
MalattiaOSindrome
Entit�
attribute
Entit�
and
MalattiaOSindrome
aumenta
s la verosimiglianza di
attribute
Entit�
and
MalattiaOSindrome
(=>
(
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
Entit�Concreta
è un'
istanza
di
SafetyVest
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Animale
Entit�
è un'
istanza
di
Umano
wears
Entit�
and
Entit�Concreta
aumenta
s la verosimiglianza di
Entit�
Entit�
è un'
istanza
di
Vista
Entit�
è un
paziente
di
Entit�
Entit�
esperisce
s
Entit�
decreasesLikelihood
Entit�
Entit�
è un'
istanza
di
Vista
Entit�
è un
paziente
di
Entit�
Entit�
esperisce
s
Entit�
and
Entit�
Entit�
è un'
istanza
di
Trauma
Entit�
è un
agente
di
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
pathologicSymptom
?D ?S)
(
exists
(?O)
(
increasesLikelihood
(
attribute
?O ?D)
(
exists
(?I)
(
and
(
instance
?I ?S)
(
experiencer
?I ?O))))))
Merge.kif 10414-10422
pathologicSymptom
MalattiaOSindrome
and
ProcessoPatologico
Entit�
attribute
Entit�
and
MalattiaOSindrome
aumenta
s la verosimiglianza di
Entit�
Entit�
è un'
istanza
di
ProcessoPatologico
Entit�
esperisce
s
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 è un'
istanza
di ?PROCESSTYPE ?ORGANISM
esperisce
s ?PROCESS
aumenta
s la verosimiglianza di
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