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
diseaseSymptom
Sigma KEE - diseaseSymptom
diseaseSymptom
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
WMD.kif 872-875
No TPTP formula. May not be expressible in strict first order.
WMD.kif 870-870
The number 1 argument of
disease symptom
is an
instance
of
disease or syndrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 871-871
The number 2 argument of
disease symptom
is an
instance
of
disease or syndrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 869-869
disease symptom
is an
instance
of
binary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 776-776
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 775-775
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 774-774
No TPTP formula. May not be expressible in strict first order.
Merge.kif 10424-10424
pathologic symptom
is
internally
related to
disease symptom
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19818-19818
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19817-19817
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19816-19816
antecedent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 775-779
If
a disease or syndrome
is a
biochemical
agent syndrome of
a kind of biochemical agent
and
another disease or syndrome
is a
disease
symptom of
the disease or syndrome
,
then
the other disease or syndrome
is a
biochemical
agent syndrome of
a kind of biochemical agent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 877-882
If
a disease or syndrome
is a
disease
symptom of
another disease or syndrome
,
then there exists
an entity
such that
the other disease or syndrome
is an
attribute
of
the entity
increase
s likelihood of
the disease or syndrome
is an
attribute
of
the entity
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1932-1932
Fever
is a
disease
symptom of
argentinian hemorrhagic fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1944-1944
Fever
is a
disease
symptom of
bolivian hemorrhagic fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 335-335
Paralysis
is a
disease
symptom of
botulism
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1964-1964
Fever
is a
disease
symptom of
brazilian hemorrhagic fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 394-394
Fever
is a
disease
symptom of
brucellosis
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 1245-1245
Diarrhea
is a
disease
symptom of
Covid
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 1244-1244
Fever
is a
disease
symptom of
Covid
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 1246-1246
Respiratory distress
is a
disease
symptom of
Covid
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1912-1912
Fever
is a
disease
symptom of
crimean congo hemorrhagic fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1904-1904
Fever
is a
disease
symptom of
diphtheria
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1698-1698
Fever
is a
disease
symptom of
eastern equine encephalitis
No TPTP formula. May not be expressible in strict first order.
WMD.kif 365-365
Fever
is a
disease
symptom of
glanders
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1788-1788
Fever
is a
disease
symptom of
hepatitis a
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4937-4937
Inflammation
is a
disease
symptom of
hyperferritinemia
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1449-1449
Fever
is a
disease
symptom of
influenza
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1865-1865
Fever
is a
disease
symptom of
lassa fever
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1425-1425
Rash
is a
disease
symptom of
Lyme disease
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1609-1609
Fever
is a
disease
symptom of
malaria
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1463-1463
Paralysis
is a
disease
symptom of
paralytic shellfish poisoning
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4258-4258
Impairment in
walking
is a
disease
symptom of
Parkinson's
No TPTP formula. May not be expressible in strict first order.
WMD.kif 413-413
Fever
is a
disease
symptom of
plague
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1163-1163
Fever
is a
disease
symptom of
Q fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1424-1424
Fever
is a
disease
symptom of
rift valley fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1823-1823
Fever
is a
disease
symptom of
rotavirus gastroenteritis
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1683-1683
Fever
is a
disease
symptom of
saint louis encephalitis
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