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 and
DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 933-933
域子類
疾病治療
, 2 and
BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.
WMD.kif 934-934
域子類
疾病治療
, 3 and
Process
No TPTP formula. May not be expressible in strict first order.
WMD.kif 931-931
例
疾病治療
and
TernaryPredicate
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
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
子類
Process
and
Process
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.
WMD.kif 963-967
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
子類
BiologicallyActiveSubstance
and
BiologicallyActiveSubstance
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.
WMD.kif 941-955
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
entity
TimePosition
,
entity
and
entity
持有期間
TimePosition
and
attribute
entity
and
DiseaseOrSyndrome
增加可能性
例
entity
and
Process
時間部分
何時
entity
and
TimePosition
體驗者
entity
and
entity
患者
entity
and
entity
例
entity
and
BiologicallyActiveSubstance
and
持有期間
眼前的未來
TimePosition
and
attribute
entity
and
DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1274-1276
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
抗生素
例
DiseaseOrSyndrome
and
細菌性疾病
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1322-1326
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
桿菌肽
例
DiseaseOrSyndrome
and
細菌性疾病
子類
Process
and
Putting
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1288-1290
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
口服抗生素
子類
Process
and
Ingesting
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1315-1317
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
外用抗生素
子類
Process
and
Covering
consequent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 957-961
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
子類
Process
and
Process
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.
WMD.kif 963-967
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
子類
BiologicallyActiveSubstance
and
BiologicallyActiveSubstance
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1374-1381
持有期間
TimePosition
and
attribute
entity
and
傳染病
attribute
entity
and
Diabetes
attribute
entity
and
ImpairedBodyPartFn
足
持有期間
TimePosition
and
傳染病
是 對於
注射
的
disease
治癒
Ertapenem
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1278-1282
例
DiseaseOrSyndrome
and
病毒性疾病
Process
DiseaseOrSyndrome
不是 對於
Process
的
disease
治癒
抗生素
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4614-4619
子類
Physical
and
Immunosuppressive
有目的
Physical
and
例
entity
and
AutoImmuneDisorder
entity
是 對於
entity
的
disease
治癒
Physical
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4765-4765
ADHD
是 對於
Ingesting
的
disease
治癒
Adderall
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4951-4951
Abatacept
是 對於
Ingesting
的
disease
治癒
RheumatoidArthritis
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5634-5634
AllergicRhinitis
是 對於
Ingesting
的
disease
治癒
Chlorpheniramine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5255-5255
AllergicRhinitis
是 對於
Ingesting
的
disease
治癒
Levocetirizine
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1140-1140
炭疽病
是 對於
Ingesting
的
disease
治癒
環丙沙星
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1139-1139
炭疽病
是 對於
Ingesting
的
disease
治癒
多西環素
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3882-3882
焦慮
是 對於
Ingesting
的
disease
治癒
Benzodiazepine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3979-3979
AttentionDeficitHyperactivityDisorder
是 對於
Ingesting
的
disease
治癒
Lisdexamfetamine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3599-3599
BacterialPneumonia
是 對於
Ingesting
的
disease
治癒
Clarithromycin
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2469-2469
Beriberi
是 對於
Ingesting
的
disease
治癒
VitaminB1
No TPTP formula. May not be expressible in strict first order.
WMD.kif 359-359
Burkholderia mallei
是 對於
Ingesting
的
disease
治癒
環丙沙星
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3932-3932
ChronicObstructivePulmonaryDisease
是 對於
Ingesting
的
disease
治癒
Roflumilast
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4736-4736
CrohnsDisease
是 對於
Ingesting
的
disease
治癒
MycophenolicAcid
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3915-3915
CrohnsDisease
是 對於
Ingesting
的
disease
治癒
Sulfasalazine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4051-4051
Depression
是 對於
Ingesting
的
disease
治癒
Escitalopram
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4377-4377
Eczema
是 對於
TopicalApplication
的
disease
治癒
Crisaborole
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4679-4679
HeartAttack
是 對於
Ingesting
的
disease
治癒
BetaBlocker
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4680-4680
HeartPalpitations
是 對於
Ingesting
的
disease
治癒
BetaBlocker
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4681-4681
HighBloodPressure
是 對於
Ingesting
的
disease
治癒
BetaBlocker
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5254-5254
Hives
是 對於
Ingesting
的
disease
治癒
Levocetirizine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3883-3883
Insomnia
是 對於
Ingesting
的
disease
治癒
Benzodiazepine
No TPTP formula. May not be expressible in strict first order.
WMD.kif 273-273
蝨傳斑疹傷寒
是 對於
Ingesting
的
disease
治癒
口服抗生素
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4624-4624
Lupus
是 對於
Ingesting
的
disease
治癒
Benelysta
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5617-5617
Lupus
是 對於
Ingesting
的
disease
治癒
Hydroxychloroquine
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4737-4737
Lupus
是 對於
Ingesting
的
disease
治癒
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