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
diseaseMedicine
Sigma KEE - diseaseMedicine
diseaseMedicine
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
WMD.kif 935-939
No TPTP formula. May not be expressible in strict first order.
WMD.kif 932-932
疾病治疗
的 1 数量 是
疾病或综合症
的
instance
No TPTP formula. May not be expressible in strict first order.
WMD.kif 933-933
疾病治疗
的 2 数量 是
生物活性物质
的
subclass
No TPTP formula. May not be expressible in strict first order.
WMD.kif 934-934
疾病治疗
的 3 数量 是
过程
的
subclass
No TPTP formula. May not be expressible in strict first order.
WMD.kif 931-931
疾病治疗
是
三元谓语
的
instance
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 780-780
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 779-779
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 778-778
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19824-19824
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19823-19823
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19822-19822
antecedent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 957-961
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
有点 生物活性物质
和
另一个 有点 过程
是
有点 过程
的
subclass
,
然后
那个 疾病或综合症
是 对于
另一个 有点 过程
的
dis
ease 治愈
有点 生物活性物质
No TPTP formula. May not be expressible in strict first order.
WMD.kif 963-967
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
有点 生物活性物质
和
另一个 有点 生物活性物质
是
有点 生物活性物质
的
subclass
,
然后
那个 疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
另一个 有点 生物活性物质
No TPTP formula. May not be expressible in strict first order.
WMD.kif 941-955
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
有点 生物活性物质
,
然后 有存在
实体
,
时间位置
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 疾病或综合症
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
和
那个 第三 实体
是
有点 过程
的
instance
和
那个 第三 实体
出现 的
time
时段 是
那个 时间位置
时段 的一
part
和
那个 实体
经历了
那个 第三 实体
和
那个 另外 实体
是
那个 第三 实体
的
patient
和
那个 另外 实体
是
有点 生物活性物质
的
instance
增加
那个 疾病或综合症
不 是
那个 实体
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
发生的机率
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1274-1276
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
抗生素
,
然后
那个 疾病或综合症
是
细菌性疾病
的
instance
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1322-1326
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
杆菌肽
,
然后
那个 疾病或综合症
是
细菌性疾病
的
instance
和
有点 过程
是
放
的
subclass
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1288-1290
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
口服抗生素
,
然后
有点 过程
是
消化
的
subclass
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1315-1317
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
外用抗生素
,
然后
有点 过程
是
遮盖
的
subclass
consequent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 957-961
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
有点 生物活性物质
和
另一个 有点 过程
是
有点 过程
的
subclass
,
然后
那个 疾病或综合症
是 对于
另一个 有点 过程
的
dis
ease 治愈
有点 生物活性物质
No TPTP formula. May not be expressible in strict first order.
WMD.kif 963-967
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
有点 生物活性物质
和
另一个 有点 生物活性物质
是
有点 生物活性物质
的
subclass
,
然后
那个 疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
另一个 有点 生物活性物质
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1374-1381
如果
传染病
是
实体
的
attribute
和
Diabetes
是
那个 实体
的
attribute
和
ImpairedBodyPartFn
足
是
那个 实体
的
attribute
在
时间位置
holdsDuring
,
然后
传染病
是 对于
注射
的
dis
ease 治愈
Ertapenem
在
那个 时间位置
holdsDuring
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1278-1282
如果
疾病或综合症
是
病毒性疾病
的
instance
,
然后 有存在
有点 过程
这样
那个 疾病或综合症
不是 对于
有点 过程
的
dis
ease 治愈
抗生素
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4614-4619
如果
物理
是
Immunosuppressive
的
subclass
,
然后
那个 物理
的 目的 是
实体
是
AutoImmuneDisorder
的
instance
和
那个 实体
是 对于
另一个 实体
的
dis
ease 治愈
那个 物理
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4765-4765
ADHD
是 对于
消化
的
dis
ease 治愈
Adderall
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4951-4951
Abatacept
是 对于
消化
的
dis
ease 治愈
RheumatoidArthritis
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5634-5634
AllergicRhinitis
是 对于
消化
的
dis
ease 治愈
Chlorpheniramine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5255-5255
AllergicRhinitis
是 对于
消化
的
dis
ease 治愈
Levocetirizine
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1140-1140
炭疽病
是 对于
消化
的
dis
ease 治愈
环丙沙星
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1139-1139
炭疽病
是 对于
消化
的
dis
ease 治愈
多西环素
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3882-3882
焦虑
是 对于
消化
的
dis
ease 治愈
Benzodiazepine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3979-3979
AttentionDeficitHyperactivityDisorder
是 对于
消化
的
dis
ease 治愈
Lisdexamfetamine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3599-3599
BacterialPneumonia
是 对于
消化
的
dis
ease 治愈
Clarithromycin
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2469-2469
Beriberi
是 对于
消化
的
dis
ease 治愈
VitaminB1
No TPTP formula. May not be expressible in strict first order.
WMD.kif 359-359
Burkholderia mallei
是 对于
消化
的
dis
ease 治愈
环丙沙星
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3932-3932
ChronicObstructivePulmonaryDisease
是 对于
消化
的
dis
ease 治愈
Roflumilast
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4736-4736
CrohnsDisease
是 对于
消化
的
dis
ease 治愈
MycophenolicAcid
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3915-3915
CrohnsDisease
是 对于
消化
的
dis
ease 治愈
Sulfasalazine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4051-4051
Depression
是 对于
消化
的
dis
ease 治愈
Escitalopram
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4377-4377
Eczema
是 对于
TopicalApplication
的
dis
ease 治愈
Crisaborole
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4679-4679
HeartAttack
是 对于
消化
的
dis
ease 治愈
BetaBlocker
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4680-4680
HeartPalpitations
是 对于
消化
的
dis
ease 治愈
BetaBlocker
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4681-4681
HighBloodPressure
是 对于
消化
的
dis
ease 治愈
BetaBlocker
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5254-5254
Hives
是 对于
消化
的
dis
ease 治愈
Levocetirizine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3883-3883
Insomnia
是 对于
消化
的
dis
ease 治愈
Benzodiazepine
No TPTP formula. May not be expressible in strict first order.
WMD.kif 273-273
虱传斑疹伤寒
是 对于
消化
的
dis
ease 治愈
口服抗生素
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4624-4624
Lupus
是 对于
消化
的
dis
ease 治愈
Benelysta
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5617-5617
Lupus
是 对于
消化
的
dis
ease 治愈
Hydroxychloroquine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4737-4737
Lupus
是 对于
消化
的
dis
ease 治愈
MycophenolicAcid
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