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
The number 1 argument of
disease treatment
is an
instance
of
disease or syndrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 933-933
The number 2 argument of
disease treatment
is a
subclass
of
biologically active substance
No TPTP formula. May not be expressible in strict first order.
WMD.kif 934-934
The number 3 argument of
disease treatment
is a
subclass
of
process
No TPTP formula. May not be expressible in strict first order.
WMD.kif 931-931
disease treatment
is an
instance
of
ternary predicate
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
If
a disease or syndrome
is
disease
treatment
a kind of biologically active substance
for
a kind of process
and
another kind of process
is a
subclass
of
a kind of process
,
then
the disease or syndrome
is
disease
treatment
a kind of biologically active substance
for
another kind of process
No TPTP formula. May not be expressible in strict first order.
WMD.kif 963-967
If
a disease or syndrome
is
disease
treatment
a kind of biologically active substance
for
a kind of process
and
another kind of biologically active substance
is a
subclass
of
a kind of biologically active substance
,
then
the disease or syndrome
is
disease
treatment
another kind of biologically active substance
for
a kind of process
No TPTP formula. May not be expressible in strict first order.
WMD.kif 941-955
If
a disease or syndrome
is
disease
treatment
a kind of biologically active substance
for
a kind of process
,
then there exist
an entity
,
a time position
,, ,
another entity
and
a third entity
such that
the disease or syndrome
is an
attribute
of
the entity
holds
during
the time position
and
the third entity
is an
instance
of
a kind of process
and the
time
of existence of
the third entity
is a
part
of
the time position
and
the entity
experience
s
the third entity
and
the other entity
is a
patient
of
the third entity
and
the other entity
is an
instance
of
a kind of biologically active substance
increase
s likelihood of
the disease or syndrome
is not an
attribute
of
the entity
holds
during
immediately
after
the time position
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1274-1276
If
a disease or syndrome
is
disease
treatment
antibiotic
for
a kind of process
,
then
the disease or syndrome
is an
instance
of
bacterial disease
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1322-1326
If
a disease or syndrome
is
disease
treatment
bacitracin
for
a kind of process
,
then
the disease or syndrome
is an
instance
of
bacterial disease
and
a kind of process
is a
subclass
of
putting
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1288-1290
If
a disease or syndrome
is
disease
treatment
oral antibiotic
for
a kind of process
,
then
a kind of process
is a
subclass
of
ingesting
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1315-1317
If
a disease or syndrome
is
disease
treatment
topical antibiotic
for
a kind of process
,
then
a kind of process
is a
subclass
of
covering
consequent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 957-961
If
a disease or syndrome
is
disease
treatment
a kind of biologically active substance
for
a kind of process
and
another kind of process
is a
subclass
of
a kind of process
,
then
the disease or syndrome
is
disease
treatment
a kind of biologically active substance
for
another kind of process
No TPTP formula. May not be expressible in strict first order.
WMD.kif 963-967
If
a disease or syndrome
is
disease
treatment
a kind of biologically active substance
for
a kind of process
and
another kind of biologically active substance
is a
subclass
of
a kind of biologically active substance
,
then
the disease or syndrome
is
disease
treatment
another kind of biologically active substance
for
a kind of process
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1374-1381
If
infectious disease
is an
attribute
of
an entity
and
diabetes mellitus
is an
attribute
of
the entity
and
impaired body part fn
foot
is an
attribute
of
the entity
holds
during
a time position
,
then
infectious disease
is
disease
treatment
ertapenem
for
injecting
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1278-1282
If
a disease or syndrome
is an
instance
of
viral disease
,
then there exists
a kind of process
such that
the disease or syndrome
isn't
disease
treatment
antibiotic
for
a kind of process
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4614-4619
If
a physical
is a
subclass
of
immunosuppressant
,
then
the physical
has the purpose
an entity
is an
instance
of
auto-immune disease
and
the entity
is
disease
treatment
the physical
for
another entity
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4765-4765
Attention deficit hyperactivity disorder
is
disease
treatment
Mydayis
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4951-4951
Abatacept
is
disease
treatment
rheumatoid arthritis
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5634-5634
Hay fever
is
disease
treatment
Chlorpheniramine
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5255-5255
Hay fever
is
disease
treatment
Levocetirizine
for
ingesting
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1140-1140
Anthrax
is
disease
treatment
ciprofloxacin
for
ingesting
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1139-1139
Anthrax
is
disease
treatment
doxycycline
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3882-3882
Anxiety
is
disease
treatment
benzodiazepine
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3979-3979
AttentionDeficitHyperactivityDisorder
is
disease
treatment
lisdexamfetamine
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3599-3599
Bacterial pneumonia
is
disease
treatment
clarithromycin
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2469-2469
Beriberi
is
disease
treatment
thiamine
for
ingesting
No TPTP formula. May not be expressible in strict first order.
WMD.kif 359-359
Burkholderia mallei
is
disease
treatment
ciprofloxacin
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3932-3932
COPD
is
disease
treatment
roflumilast
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4736-4736
Crohn's disease
is
disease
treatment
mycophenolic acid
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3915-3915
Crohn's disease
is
disease
treatment
sulfasalazine
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4051-4051
Depressed
is
disease
treatment
escitalopram
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4377-4377
Atopic dermatitis
is
disease
treatment
crisaborole
for
topical application
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4679-4679
Myocardial infarction
is
disease
treatment
beta blocker
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4680-4680
Palpitations
is
disease
treatment
beta blocker
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4681-4681
Hypertension
is
disease
treatment
beta blocker
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5254-5254
Urticaria
is
disease
treatment
Levocetirizine
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3883-3883
Insomnia
is
disease
treatment
benzodiazepine
for
ingesting
No TPTP formula. May not be expressible in strict first order.
WMD.kif 273-273
Louse borne typhus
is
disease
treatment
oral antibiotic
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4624-4624
Lupus
is
disease
treatment
Benelysta
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5617-5617
Lupus
is
disease
treatment
hydroxychloroquine
for
ingesting
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4737-4737
Lupus
is
disease
treatment
mycophenolic acid
for
ingesting
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