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
FacialArtery
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
副作用
的 2 数量 是
疾病或综合症
的
instance
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1539-1539
副作用
的 1 数量 是
生物活性物质
的
subclass
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1538-1538
副作用
是
二元谓语
的
instance
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
如果
转移
是
消化
的
instance
和
施事体
经历了
那个 转移
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
那个 客体
C 的
instance
和
那个 客体
IS 是服用
那个 客体
C 的
side
effect
,
然后
那个 客体
IS 是
那个 施事体
的
attribute
的声明 has
容易
的语气
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3626-3626
头痛
是服用
Adalimumab
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3625-3625
SkinRash
是服用
Adalimumab
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4054-4054
Escitalopram
是服用
焦虑
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3785-3785
Nausea
是服用
Bupropion
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4286-4286
PainFn
Abdomen
是服用
Cetirizine
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4284-4284
头痛
是服用
Cetirizine
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4285-4285
Sleepy
是服用
Cetirizine
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3603-3603
腹泻
是服用
Clarithromycin
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3602-3602
头痛
是服用
Clarithromycin
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3600-3600
Nausea
是服用
Clarithromycin
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3601-3601
Vomiting
是服用
Clarithromycin
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3812-3812
腹泻
是服用
多西环素
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3811-3811
Nausea
是服用
多西环素
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3813-3813
Vomiting
是服用
多西环素
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4056-4056
Escitalopram
是服用
FeelingTired
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5619-5619
头痛
是服用
Hydroxychloroquine
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5618-5618
Vomiting
是服用
Hydroxychloroquine
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4055-4055
Escitalopram
是服用
Insomnia
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5253-5253
腹泻
是服用
Levocetirizine
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5252-5252
Vomiting
是服用
Levocetirizine
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3699-3699
头痛
是服用
Loratadine
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4739-4739
腹泻
是服用
MycophenolicAcid
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4738-4738
Nausea
是服用
MycophenolicAcid
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4052-4052
Escitalopram
是服用
Nausea
的
side
effect
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5090-5090
腹泻
是服用
Ondansetron
的
side
effect
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