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
The number 2 argument of
side effect
is an
instance
of
disease or syndrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1539-1539
The number 1 argument of
side effect
is a
subclass
of
biologically active substance
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1538-1538
side effect
is an
instance
of
binary predicate
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
If
a transfer
is an
instance
of
ingesting
and
an agent
experience
s
the transfer
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
the object
C and
the object
IS is a
side
effect
of taking
the object
C,
then the statement
the object
IS is an
attribute
of
the agent
has the
modal
force
of
likely
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3626-3626
Headache
is a
side
effect
of taking
adalimumab
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3625-3625
Rash
is a
side
effect
of taking
adalimumab
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4054-4054
Escitalopram
is a
side
effect
of taking
anxiety
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3785-3785
Nausea
is a
side
effect
of taking
bupropion
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4286-4286
Pain
in the
abdomen
is a
side
effect
of taking
cetirizine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4284-4284
Headache
is a
side
effect
of taking
cetirizine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4285-4285
Sleepy
is a
side
effect
of taking
cetirizine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3603-3603
Diarrhea
is a
side
effect
of taking
clarithromycin
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3602-3602
Headache
is a
side
effect
of taking
clarithromycin
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3600-3600
Nausea
is a
side
effect
of taking
clarithromycin
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3601-3601
Vomiting
is a
side
effect
of taking
clarithromycin
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3812-3812
Diarrhea
is a
side
effect
of taking
doxycycline
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3811-3811
Nausea
is a
side
effect
of taking
doxycycline
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3813-3813
Vomiting
is a
side
effect
of taking
doxycycline
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4056-4056
Escitalopram
is a
side
effect
of taking
feeling tired
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5619-5619
Headache
is a
side
effect
of taking
hydroxychloroquine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5618-5618
Vomiting
is a
side
effect
of taking
hydroxychloroquine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4055-4055
Escitalopram
is a
side
effect
of taking
insomnia
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5253-5253
Diarrhea
is a
side
effect
of taking
Levocetirizine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5252-5252
Vomiting
is a
side
effect
of taking
Levocetirizine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3699-3699
Headache
is a
side
effect
of taking
loratadine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4739-4739
Diarrhea
is a
side
effect
of taking
mycophenolic acid
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4738-4738
Nausea
is a
side
effect
of taking
mycophenolic acid
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4052-4052
Escitalopram
is a
side
effect
of taking
nausea
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5090-5090
Diarrhea
is a
side
effect
of taking
ondansetron
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