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
(
documentation
diseaseMedicine
EnglishLanguage
"(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS) means that the
BiologicallyActiveSubstance
?SUBSTANCE is effective in the treatment of the
DiseaseOrSyndrome
?DISEASE when administered via the
Process
?PROCESS, i.e. it has been demonstrated (in a significant sample of patients) to cure the ?DISEASE or at least reduce the severity of symptoms associated with the ?DISEASE.")
WMD.kif 935-939
(
domain
diseaseMedicine
1
DiseaseOrSyndrome
)
WMD.kif 932-932
(
domainSubclass
diseaseMedicine
2
BiologicallyActiveSubstance
)
WMD.kif 933-933
(
domainSubclass
diseaseMedicine
3
Process
)
WMD.kif 934-934
(
instance
diseaseMedicine
TernaryPredicate
)
WMD.kif 931-931
appearance as argument number 2
(
format
ChineseLanguage
diseaseMedicine
"%1 %p{是} %n{不是} 对于 %3 的 disease 治愈 %2")
domainEnglishFormat.kif 780-780
(
format
ChineseTraditionalLanguage
diseaseMedicine
"%1 %p{是} %n{不是} 對於 %3 的 disease 治癒 %2 ")
domainEnglishFormat.kif 779-779
(
format
EnglishLanguage
diseaseMedicine
"%1 %p{is} %n{isn't} disease treatment %2 for %3")
domainEnglishFormat.kif 778-778
(
termFormat
ChineseLanguage
diseaseMedicine
"疾病治疗")
domainEnglishFormat.kif 19824-19824
(
termFormat
ChineseTraditionalLanguage
diseaseMedicine
"疾病治療")
domainEnglishFormat.kif 19823-19823
(
termFormat
EnglishLanguage
diseaseMedicine
"disease treatment")
domainEnglishFormat.kif 19822-19822
antecedent
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 957-961
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?SUBSTANCE))
(
diseaseMedicine
?DISEASE ?SUB ?PROCESS))
WMD.kif 963-967
(=>
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
exists
(?ORGANISM ?TIME ?SAMPLE ?PROC)
(
and
(
holdsDuring
?TIME
(
attribute
?ORGANISM ?DISEASE))
(
increasesLikelihood
(
and
(
instance
?PROC ?PROCESS)
(
temporalPart
(
WhenFn
?PROC) ?TIME)
(
experiencer
?PROC ?ORGANISM)
(
patient
?PROC ?SAMPLE)
(
instance
?SAMPLE ?SUBSTANCE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
attribute
?ORGANISM ?DISEASE)))))))
WMD.kif 941-955
(=>
(
diseaseMedicine
?DISEASE
Antibiotic
?PROCESS)
(
instance
?DISEASE
BacterialDisease
))
WMD.kif 1274-1276
(=>
(
diseaseMedicine
?DISEASE
Bacitracin
?PROCESS)
(
and
(
instance
?DISEASE
BacterialDisease
)
(
subclass
?PROCESS
Putting
)))
WMD.kif 1322-1326
(=>
(
diseaseMedicine
?DISEASE
OralAntibiotic
?PROCESS)
(
subclass
?PROCESS
Ingesting
))
WMD.kif 1288-1290
(=>
(
diseaseMedicine
?DISEASE
TopicalAntibiotic
?PROCESS)
(
subclass
?PROCESS
Covering
))
WMD.kif 1315-1317
consequent
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 957-961
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?SUBSTANCE))
(
diseaseMedicine
?DISEASE ?SUB ?PROCESS))
WMD.kif 963-967
(=>
(
holdsDuring
?T
(
and
(
attribute
?H
InfectiousDisease
)
(
attribute
?H
Diabetes
)
(
attribute
?H
(
ImpairedBodyPartFn
Foot
))))
(
holdsDuring
?T
(
diseaseMedicine
InfectiousDisease
Ertapenem
Injecting
)))
Medicine.kif 1374-1381
(=>
(
instance
?DISEASE
ViralDisease
)
(
exists
(?PROCESS)
(
not
(
diseaseMedicine
?DISEASE
Antibiotic
?PROCESS))))
WMD.kif 1278-1282
(=>
(
subclass
?I
Immunosuppressive
)
(
hasPurpose
?I
(
and
(
instance
?AID
AutoImmuneDisorder
)
(
diseaseMedicine
?AID ?I ?P))))
Medicine.kif 4614-4619
appearance as argument number 0
(
diseaseMedicine
ADHD
Adderall
Ingesting
)
Medicine.kif 4765-4765
(
diseaseMedicine
Abatacept
RheumatoidArthritis
Ingesting
)
Medicine.kif 4951-4951
(
diseaseMedicine
AllergicRhinitis
Chlorpheniramine
Ingesting
)
Medicine.kif 5634-5634
(
diseaseMedicine
AllergicRhinitis
Levocetirizine
Ingesting
)
Medicine.kif 5255-5255
(
diseaseMedicine
Anthrax
Ciprofloxacin
Ingesting
)
WMD.kif 1140-1140
(
diseaseMedicine
Anthrax
Doxycycline
Ingesting
)
WMD.kif 1139-1139
(
diseaseMedicine
Anxiety
Benzodiazepine
Ingesting
)
Medicine.kif 3882-3882
(
diseaseMedicine
AttentionDeficitHyperactivityDisorder
Lisdexamfetamine
Ingesting
)
Medicine.kif 3979-3979
(
diseaseMedicine
BacterialPneumonia
Clarithromycin
Ingesting
)
Medicine.kif 3599-3599
(
diseaseMedicine
Beriberi
VitaminB1
Ingesting
)
Medicine.kif 2469-2469
(
diseaseMedicine
BurkholderiaMallei
Ciprofloxacin
Ingesting
)
WMD.kif 359-359
(
diseaseMedicine
ChronicObstructivePulmonaryDisease
Roflumilast
Ingesting
)
Medicine.kif 3932-3932
(
diseaseMedicine
CrohnsDisease
MycophenolicAcid
Ingesting
)
Medicine.kif 4736-4736
(
diseaseMedicine
CrohnsDisease
Sulfasalazine
Ingesting
)
Medicine.kif 3915-3915
(
diseaseMedicine
Depression
Escitalopram
Ingesting
)
Medicine.kif 4051-4051
(
diseaseMedicine
Eczema
Crisaborole
TopicalApplication
)
Medicine.kif 4377-4377
(
diseaseMedicine
HeartAttack
BetaBlocker
Ingesting
)
Medicine.kif 4679-4679
(
diseaseMedicine
HeartPalpitations
BetaBlocker
Ingesting
)
Medicine.kif 4680-4680
(
diseaseMedicine
HighBloodPressure
BetaBlocker
Ingesting
)
Medicine.kif 4681-4681
(
diseaseMedicine
Hives
Levocetirizine
Ingesting
)
Medicine.kif 5254-5254
(
diseaseMedicine
Insomnia
Benzodiazepine
Ingesting
)
Medicine.kif 3883-3883
(
diseaseMedicine
LouseBorneTyphus
OralAntibiotic
Ingesting
)
WMD.kif 273-273
(
diseaseMedicine
Lupus
Benelysta
Ingesting
)
Medicine.kif 4624-4624
(
diseaseMedicine
Lupus
Hydroxychloroquine
Ingesting
)
Medicine.kif 5617-5617
(
diseaseMedicine
Lupus
MycophenolicAcid
Ingesting
)
Medicine.kif 4737-4737
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