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
sideEffect
Sigma KEE - sideEffect
sideEffect
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1541-1543
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1540-1540
O argumento numero 2 de
sideEffect
e' uma
instancia
de
Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1539-1539
O argumento numero 1 de
sideEffect
e' uma
sub
-classe de
Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1538-1538
sideEffect
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4518-4518
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4517-4517
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4516-4516
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 52940-52940
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 52939-52939
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 52938-52938
antecedent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1545-1554
Transferencia
e' uma
instancia
de
Ingerir
AutonomousAgent
experimenta
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Objeto
C
sideEffect
Objeto
C and
Objeto
IS
o argumento
Objeto
IS e' um
atributo
de
AutonomousAgent
tem a
forca
modal
de
Likely
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3626-3626
sideEffect
Adalimumab
and
Headache
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3625-3625
sideEffect
Adalimumab
and
SkinRash
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4054-4054
sideEffect
Anxiety
and
Escitalopram
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3785-3785
sideEffect
Bupropion
and
Nausea
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4286-4286
sideEffect
Cetirizine
and
PainFn
Abdomen
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4284-4284
sideEffect
Cetirizine
and
Headache
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4285-4285
sideEffect
Cetirizine
and
Sleepy
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3603-3603
sideEffect
Clarithromycin
and
Diarrhea
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3602-3602
sideEffect
Clarithromycin
and
Headache
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3600-3600
sideEffect
Clarithromycin
and
Nausea
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3601-3601
sideEffect
Clarithromycin
and
Vomiting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3812-3812
sideEffect
Doxycycline
and
Diarrhea
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3811-3811
sideEffect
Doxycycline
and
Nausea
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3813-3813
sideEffect
Doxycycline
and
Vomiting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4056-4056
sideEffect
FeelingTired
and
Escitalopram
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5619-5619
sideEffect
Hydroxychloroquine
and
Headache
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5618-5618
sideEffect
Hydroxychloroquine
and
Vomiting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4055-4055
sideEffect
Insomnia
and
Escitalopram
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5253-5253
sideEffect
Levocetirizine
and
Diarrhea
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5252-5252
sideEffect
Levocetirizine
and
Vomiting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3699-3699
sideEffect
Loratadine
and
Headache
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4739-4739
sideEffect
MycophenolicAcid
and
Diarrhea
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4738-4738
sideEffect
MycophenolicAcid
and
Nausea
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4052-4052
sideEffect
Nausea
and
Escitalopram
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5090-5090
sideEffect
Ondansetron
and
Diarrhea
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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