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
Le nombre 2 argument de
sideEffect
est une
instance
de
maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1539-1539
Le nombre 1 argument de
sideEffect
est une
sous
-classe de
substance biologique active
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1538-1538
sideEffect
est une
instance
de
pr�dicat binaire
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 52942-52942
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 52941-52941
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 52940-52940
antecedent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1545-1554
Transf�re
est une
instance
de
ing�rer
AutonomousAgent
exp
�rimente
transf�re
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
sideEffect
objet
C and
objet
IS
l'argument
objet
IS est un
attribut
de
AutonomousAgent
a la
force
modale
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
anxiété
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