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
decreasesLikelihood
e
independentProbability
sono
disgiunti
(
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
Il numero 1 argomenti di
decreasesLikelihood
è un
istanza
di
Formula
(
domain
decreasesLikelihood
2
Formula
)
Merge.kif 2617-2617
Il numero 2 argomenti di
decreasesLikelihood
è un
istanza
di
Formula
(
instance
decreasesLikelihood
BinaryPredicate
)
Merge.kif 2614-2614
decreasesLikelihood
è un'
istanza
di
PredicatoBinario
(
instance
decreasesLikelihood
IrreflexiveRelation
)
Merge.kif 2615-2615
decreasesLikelihood
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
decreasesLikelihood
ProbabilityRelation
)
Merge.kif 2613-2613
decreasesLikelihood
è un'
istanza
di
RelazioneDiProbabilit�
appearance as argument number 2
(
disjointRelation
increasesLikelihood
decreasesLikelihood
)
Merge.kif 2598-2598
increasesLikelihood
e
decreasesLikelihood
sono
disgiunti
(
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
decreasesLikelihood
Formula
and
Formula
la
probabilit
à di
Formula
is
uguale
a
NumeroReale
probabilit
à di
Formula
ammesso che
Formula
valga è
NumeroReale
NumeroReale
è
meno
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
(=>
(
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
Processo
and
Processo
Entit�
Entit�
decreasesLikelihood
il
tempo
di esistenza di
Processo
is
uguale
a
Entit�
eventLocated
Processo
and
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
eventLocated
Entit�
and
Entit�
vales
durante
Entit�
(=>
(
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
hindersSubclass
Processo
and
Processo
Entit�
Entit�
decreasesLikelihood
Entit�
Entit�
è un'
istanza
di
Processo
eventLocated
Entit�
and
Entit�
vales
durante
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
eventLocated
Entit�
and
Entit�
vales
durante
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
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�
(=>
(
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
Entit�Concreta
è un'
istanza
di
TranexamicAcid
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Umano
decreasesLikelihood
Entit�
Entit�
è un'
istanza
di
Ingestione
objectTransferred
Entit�
and
Entit�Concreta
Entit�
fine
s in
Entit�
and
Entit�
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Bleeding
Entit�
si
originas in
Entit�
(=>
(
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
Entit�Concreta
è un'
istanza
di
FuelCapLock
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
GasTank
Entit�
è un'
apertura
in
Entit�
decreasesLikelihood
Entit�Concreta
è
connesso
a
Entit�
attribute
Entit�Concreta
and
Locked
vales
durante
Entit�
and
Entit�
Entit�
Entit�
è un'
istanza
di
Stealing
Entit�
è un'
istanza
di
Fuel
Entit�
è
localizzato
in
Entit�
Entit�
è un
paziente
di
Entit�
vales
durante
Entit�
(=>
(
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
Entit�Concreta
è un'
istanza
di
SteeringColumnLock
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
SteeringColumn
Entit�
è un'
istanza
di
Automobile
Entit�
è un
componente
di
Entit�
Entit�Concreta
è una
parte
di
Entit�
Entit�
è un'
istanza
di
Protecting
Entit�Concreta
è uno
strumento
per
Entit�
decreasesLikelihood
attribute
Entit�Concreta
and
Locked
vales
durante
Entit�
and
Entit�
Entit�
è un'
istanza
di
Stealing
Entit�
è un
paziente
di
Entit�
vales
durante
Entit�
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
decreasesLikelihood
biochemicalAgentSyndrome
?AGENT and ?SYMPTOM
biochemicalAgentAntidote
?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE è un'
istanza
di ?SUBSTANCE ?THERAPY è un'
istanza
di ?PROCESS ?ORGANISM
esperisce
s ?THERAPY ?SAMPLE è un
paziente
di ?THERAPY and
attribute
?ORGANISM and ?SYMPTOM
(
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
decreasesLikelihood
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X è un'
istanza
di
PaperShredder
?CUT è un'
istanza
di
Tagliare
?X è uno
strumento
per ?CUT ?PAPER è un'
istanza
di
Paper
?PAPER è un
paziente
di ?CUT ?CBO è
localizzato
in ?PAPER ?CBO è un'
istanza
di
VisualContentBearingObject
?CBO
contiene
s informazione ?INFO and ?READ ?READ è un'
istanza
di
Interpreting
?INFO è un
paziente
di ?READ il
tempo
di esistenza di ?CUT accades
prima
di il
tempo
di esistenza di ?READ
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