Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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
(
documentation
diseaseSymptom
EnglishLanguage
"(
diseaseSymptom
?DISEASE ?SYMPTOM) means that
DiseaseOrSyndrome
?DISEASE is often associated with the
DiseaseOrSyndrome
?SYMPTOM, i.e. an
Organism
which suffers from ?DISEASE is more likely to suffer from ?SYMPTOM than one which does not.")
WMD.kif 872-875
(
domain
diseaseSymptom
1
DiseaseOrSyndrome
)
WMD.kif 870-870
The number 1 argument of
disease symptom
is an
instance
of
disease or syndrome
(
domain
diseaseSymptom
2
DiseaseOrSyndrome
)
WMD.kif 871-871
The number 2 argument of
disease symptom
is an
instance
of
disease or syndrome
(
instance
diseaseSymptom
BinaryPredicate
)
WMD.kif 869-869
disease symptom
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
diseaseSymptom
"%2 %n 是 %1 的 disease 病状")
domainEnglishFormat.kif 776-776
(
format
ChineseTraditionalLanguage
diseaseSymptom
"%2 %n 是 %1 的 disease 病狀")
domainEnglishFormat.kif 775-775
(
format
EnglishLanguage
diseaseSymptom
"%2 is %n a disease symptom of %1")
domainEnglishFormat.kif 774-774
(
relatedInternalConcept
pathologicSymptom
diseaseSymptom
)
Merge.kif 10329-10329
pathologic symptom
is
internally
related to
disease symptom
(
termFormat
ChineseLanguage
diseaseSymptom
"疾病症状")
domainEnglishFormat.kif 19809-19809
(
termFormat
ChineseTraditionalLanguage
diseaseSymptom
"疾病症狀")
domainEnglishFormat.kif 19808-19808
(
termFormat
EnglishLanguage
diseaseSymptom
"disease symptom")
domainEnglishFormat.kif 19807-19807
antecedent
(=>
(
and
(
biochemicalAgentSyndrome
?AGENT ?SYNDROME)
(
diseaseSymptom
?SYNDROME ?SYMPTOM))
(
biochemicalAgentSyndrome
?AGENT ?SYMPTOM))
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
(=>
(
diseaseSymptom
?DISEASE ?SYMPTOM)
(
increasesLikelihood
(
attribute
?ORGANISM ?DISEASE)
(
attribute
?ORGANISM ?SYMPTOM)))
WMD.kif 877-881
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
(
diseaseSymptom
ArgentinianHemorrhagicFever
Fever
)
WMD.kif 1923-1923
Fever
is a
disease
symptom of
argentinian hemorrhagic fever
(
diseaseSymptom
BolivianHemorrhagicFever
Fever
)
WMD.kif 1935-1935
Fever
is a
disease
symptom of
bolivian hemorrhagic fever
(
diseaseSymptom
Botulism
Paralysis
)
WMD.kif 335-335
Paralysis
is a
disease
symptom of
botulism
(
diseaseSymptom
BrazilianHemorrhagicFever
Fever
)
WMD.kif 1955-1955
Fever
is a
disease
symptom of
brazilian hemorrhagic fever
(
diseaseSymptom
Brucellosis
Fever
)
WMD.kif 394-394
Fever
is a
disease
symptom of
brucellosis
(
diseaseSymptom
Covid19
Diarrhea
)
VirusProteinAndCellPart.kif 732-732
Diarrhea
is a
disease
symptom of
Covid
(
diseaseSymptom
Covid19
Fever
)
VirusProteinAndCellPart.kif 731-731
Fever
is a
disease
symptom of
Covid
(
diseaseSymptom
Covid19
RespiratoryDistress
)
VirusProteinAndCellPart.kif 733-733
Respiratory distress
is a
disease
symptom of
Covid
(
diseaseSymptom
CrimeanCongoHemorrhagicFever
Fever
)
WMD.kif 1903-1903
Fever
is a
disease
symptom of
crimean congo hemorrhagic fever
(
diseaseSymptom
Diphtheria
Fever
)
WMD.kif 1895-1895
Fever
is a
disease
symptom of
diphtheria
(
diseaseSymptom
EasternEquineEncephalitis
Fever
)
WMD.kif 1689-1689
Fever
is a
disease
symptom of
eastern equine encephalitis
(
diseaseSymptom
Glanders
Fever
)
WMD.kif 365-365
Fever
is a
disease
symptom of
glanders
(
diseaseSymptom
HepatitisA
Fever
)
WMD.kif 1779-1779
Fever
is a
disease
symptom of
hepatitis a
(
diseaseSymptom
Influenza
Fever
)
WMD.kif 1440-1440
Fever
is a
disease
symptom of
influenza
(
diseaseSymptom
LassaFever
Fever
)
WMD.kif 1856-1856
Fever
is a
disease
symptom of
lassa fever
(
diseaseSymptom
Malaria
Fever
)
WMD.kif 1600-1600
Fever
is a
disease
symptom of
malaria
(
diseaseSymptom
ParalyticShellfishPoisoning
Paralysis
)
WMD.kif 1454-1454
Paralysis
is a
disease
symptom of
paralytic shellfish poisoning
(
diseaseSymptom
Plague
Fever
)
WMD.kif 413-413
Fever
is a
disease
symptom of
plague
(
diseaseSymptom
QFever
Fever
)
WMD.kif 1155-1155
Fever
is a
disease
symptom of
Q fever
(
diseaseSymptom
RiftValleyFever
Fever
)
WMD.kif 1415-1415
Fever
is a
disease
symptom of
rift valley fever
(
diseaseSymptom
RotavirusGastroenteritis
Fever
)
WMD.kif 1814-1814
Fever
is a
disease
symptom of
rotavirus gastroenteritis
(
diseaseSymptom
SaintLouisEncephalitis
Fever
)
WMD.kif 1674-1674
Fever
is a
disease
symptom of
saint louis encephalitis
(
diseaseSymptom
Tularemia
Fever
)
WMD.kif 1207-1207
Fever
is a
disease
symptom of
tularemia
(
diseaseSymptom
TyphoidFever
Fever
)
WMD.kif 1349-1349
Fever
is a
disease
symptom of
typhoid fever
(
diseaseSymptom
VenezuelanEquineEncephalitis
Fever
)
WMD.kif 1402-1402
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