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
sao
disjuntos
(
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
O argumento numero 1 de
decreasesLikelihood
e' uma
instancia
de
Formula
(
domain
decreasesLikelihood
2
Formula
)
Merge.kif 2617-2617
O argumento numero 2 de
decreasesLikelihood
e' uma
instancia
de
Formula
(
instance
decreasesLikelihood
BinaryPredicate
)
Merge.kif 2614-2614
decreasesLikelihood
e' uma
instancia
de
Predicado Binario
(
instance
decreasesLikelihood
IrreflexiveRelation
)
Merge.kif 2615-2615
decreasesLikelihood
e' uma
instancia
de
Relacao Irreflexiva
(
instance
decreasesLikelihood
ProbabilityRelation
)
Merge.kif 2613-2613
decreasesLikelihood
e' uma
instancia
de
Relacao de Probabilidade
appearance as argument number 2
(
disjointRelation
increasesLikelihood
decreasesLikelihood
)
Merge.kif 2598-2598
increasesLikelihood
e
decreasesLikelihood
sao
disjuntos
(
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
Formula
diminui
a probabilidade de
Formula
a
probabilidade
de
Formula
e'
igual
a
Numero Real
a
probabilidade
de
Formula
sabendo que
Formula
vale e'
Numero Real
Numero Real
e'
menos
que
Numero Real
consequent
(=>
(
and
(
instance
?FORMULA1
Formula
)
(
instance
?FORMULA2
Formula
))
(
or
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
independentProbability
?FORMULA1 ?FORMULA2)))
Merge.kif 2647-2654
Formula
e' uma
instancia
de
Formula
Formula
e' uma
instancia
de
Formula
Formula
aumenta
a probabilidade de
Formula
Formula
diminui
a probabilidade de
Formula
as probabilidades de
Formula
e
Formula
sao
independentes
(=>
(
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
Entidade
Entidade
tempo
de existencia de
Processo
e'
igual
a
Entidade
eventLocated
Processo
and
Entidade
diminui
a probabilidade de
Entidade
Entidade
e' uma
instancia
de
Processo
eventLocated
Entidade
and
Entidade
vale
durante
Entidade
(=>
(
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
Entidade
Entidade
Entidade
Entidade
e' uma
instancia
de
Processo
eventLocated
Entidade
and
Entidade
vale
durante
Entidade
diminui
a probabilidade de
Entidade
Entidade
e' uma
instancia
de
Processo
eventLocated
Entidade
and
Entidade
vale
durante
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
SafetyVest
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Animal
Entidade
e' uma
instancia
de
Humano
Entidade
usa
Fisico
aumenta
a probabilidade de
Entidade
Entidade
e' uma
instancia
de
Visao
Entidade
e' um
patient
de
Entidade
Entidade
experimenta
Entidade
Entidade
Entidade
e' uma
instancia
de
Visao
Entidade
e' um
patient
de
Entidade
Entidade
experimenta
Entidade
diminui
a probabilidade de
Entidade
Entidade
e' uma
instancia
de
Ferir
Entidade
e' um
agente
de
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
TranexamicAcid
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
Entidade
e' uma
instancia
de
Ingerir
objectTransferred
Entidade
and
Fisico
Entidade
termina
em
Entidade
diminui
a probabilidade de
Entidade
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Bleeding
Entidade
tem como
origem
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
FuelCapLock
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
GasTank
Entidade
e' um
buraco
dans
Entidade
Fisico
e'
conectado
com
Entidade
Locked
e' um
atributo
de
Fisico
vale
durante
Entidade
diminui
a probabilidade de
Entidade
Entidade
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Fuel
Entidade
e'
situado
em
Entidade
Entidade
e' um
patient
de
Entidade
vale
durante
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
SteeringColumnLock
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
SteeringColumn
Entidade
e' uma
instancia
de
Automobile
Entidade
e' um
componente
de
Entidade
Fisico
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Protecting
Fisico
e' um
instrumento
para
Entidade
Locked
e' um
atributo
de
Fisico
vale
durante
Entidade
diminui
a probabilidade de
Entidade
Entidade
e' uma
instancia
de
Stealing
Entidade
e' um
patient
de
Entidade
vale
durante
Entidade
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
biochemicalAgentSyndrome
?AGENT and ?SYMPTOM
biochemicalAgentAntidote
?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE e' uma
instancia
de ?SUBSTANCE ?THERAPY e' uma
instancia
de ?PROCESS ?ORGANISM
experimenta
?THERAPY ?SAMPLE e' um
patient
de ?THERAPY
diminui
a probabilidade de ?SYMPTOM e' um
atributo
de ?ORGANISM
(
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
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma
instancia
de
PaperShredder
?CUT e' uma
instancia
de
Cortar
?X e' um
instrumento
para ?CUT ?PAPER e' uma
instancia
de
Paper
?PAPER e' um
patient
de ?CUT ?CBO e'
situado
em ?PAPER ?CBO e' uma
instancia
de
VisualContentBearingObject
?CBO
contem
informacao ?INFO
diminui
a probabilidade de ?READ ?READ e' uma
instancia
de
Interpreting
?INFO e' um
patient
de ?READ
tempo
de existencia de ?CUT acontence
antes
de
tempo
de existencia de ?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