Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 834-837
No TPTP formula. May not be expressible in strict first order.
WMD.kif 832-832
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 833-833
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 831-831
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.
domainEnglishFormat.kif 19750-19750
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19749-19749
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19748-19748
antecedent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 770-774
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 839-843
If
a disease or syndrome
is a
disease
symptom of
another disease or syndrome
,
then
the other disease or syndrome
is an
attribute
of
an 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 1798-1798
Fever
is a
disease
symptom of
argentinian hemorrhagic fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1810-1810
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 1830-1830
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 659-659
Diarrhea
is a
disease
symptom of
Covid-19
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 658-658
Fever
is a
disease
symptom of
Covid-19
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 660-660
Respiratory distress
is a
disease
symptom of
Covid-19
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1778-1778
Fever
is a
disease
symptom of
crimean congo hemorrhagic fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1770-1770
Fever
is a
disease
symptom of
diphtheria
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1564-1564
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 1654-1654
Fever
is a
disease
symptom of
hepatitis a
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1352-1352
Fever
is a
disease
symptom of
influenza
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1731-1731
Fever
is a
disease
symptom of
lassa fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1474-1474
Fever
is a
disease
symptom of
malaria
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1366-1366
Paralysis
is a
disease
symptom of
paralytic shellfish poisoning
No TPTP formula. May not be expressible in strict first order.
WMD.kif 408-408
Fever
is a
disease
symptom of
plague
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1082-1082
Fever
is a
disease
symptom of
Q fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1327-1327
Fever
is a
disease
symptom of
rift valley fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1689-1689
Fever
is a
disease
symptom of
rotavirus gastroenteritis
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1549-1549
Fever
is a
disease
symptom of
saint louis encephalitis
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1134-1134
Fever
is a
disease
symptom of
tularemia
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1276-1276
Fever
is a
disease
symptom of
typhoid fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1314-1314
Fever
is a
disease
symptom of
venezuelan equine 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
diseaseSymptom