Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Metabolism

 Sigma KEE - diseaseSymptom
diseaseSymptom

appearance as argument number 1
-------------------------


(instance diseaseSymptom BinaryPredicate) WMD.kif 864-864 disease symptom is an instance of binary predicate
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 865-865 The number 1 argument of disease symptom is an instance of disease or syndrome
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 866-866 The number 2 argument of disease symptom is an instance of disease or syndrome
(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 867-870 The number 2 argument of disease symptom is an instance of disease or syndrome

appearance as argument number 2
-------------------------


(relatedInternalConcept pathologicSymptom diseaseSymptom) Medicine.kif 6593-6593 pathologic symptom is internally related to disease symptom
(format EnglishLanguage diseaseSymptom "%2 is %n a disease symptom of %1") domainEnglishFormat.kif 774-774 pathologic symptom is internally related to disease symptom
(format ChineseTraditionalLanguage diseaseSymptom "%2 %n 是 %1 的 disease 病狀") domainEnglishFormat.kif 775-775 pathologic symptom is internally related to disease symptom
(format ChineseLanguage diseaseSymptom "%2 %n 是 %1 的 dis​​ease 病状") domainEnglishFormat.kif 776-776 pathologic symptom is internally related to disease symptom
(termFormat EnglishLanguage diseaseSymptom "disease symptom") domainEnglishFormat.kif 19818-19818 pathologic symptom is internally related to disease symptom
(termFormat ChineseTraditionalLanguage diseaseSymptom "疾病症狀") domainEnglishFormat.kif 19819-19819 pathologic symptom is internally related to disease symptom
(termFormat ChineseLanguage diseaseSymptom "疾病症状") domainEnglishFormat.kif 19820-19820 pathologic symptom is internally related to disease symptom

antecedent
-------------------------


(=>
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYNDROME)
        (diseaseSymptom ?SYNDROME ?SYMPTOM))
    (biochemicalAgentSyndrome ?AGENT ?SYMPTOM))		 WMD.kif 770-774 If X is a biochemical agent syndrome of Y and Z is a disease symptom of X, then Z is a biochemical agent syndrome of Y
(=>
    (diseaseSymptom ?DISEASE ?SYMPTOM)
    (exists (?ORGANISM)
        (increasesLikelihood
            (attribute ?ORGANISM ?DISEASE)
            (attribute ?ORGANISM ?SYMPTOM))))		 WMD.kif 872-877 If X is a disease symptom of Y, then there exists Z such that Y is an attribute of Z increases likelihood of X is an attribute of Z

appearance as argument number 0
-------------------------


(diseaseSymptom LymeDisease SkinRash) Medicine.kif 1408-1408 Rash is a disease symptom of Lyme disease
(diseaseSymptom ParkinsonsDisease
    (ImpairmentFn Walking))		 Medicine.kif 4296-4296 Impairment in walking is a disease symptom of Parkinson's
(diseaseSymptom Hyperferritinemia Inflammation) Medicine.kif 4958-4958 Inflammation is a disease symptom of hyperferritinemia
(diseaseSymptom Covid19 Fever) VirusProteinAndCellPart.kif 1230-1230 A fever is a disease symptom of Covid
(diseaseSymptom Covid19 Diarrhea) VirusProteinAndCellPart.kif 1231-1231 Diarrhea is a disease symptom of Covid
(diseaseSymptom Covid19 RespiratoryDistress) VirusProteinAndCellPart.kif 1232-1232 Respiratory distress is a disease symptom of Covid
(diseaseSymptom Botulism Paralysis) WMD.kif 330-330 Paralysis is a disease symptom of botulism
(diseaseSymptom Glanders Fever) WMD.kif 360-360 A fever is a disease symptom of glanders
(diseaseSymptom Brucellosis Fever) WMD.kif 389-389 A fever is a disease symptom of brucellosis
(diseaseSymptom Plague Fever) WMD.kif 408-408 A fever is a disease symptom of plague
(diseaseSymptom QFever Fever) WMD.kif 1159-1159 A fever is a disease symptom of Q fever
(diseaseSymptom Tularemia Fever) WMD.kif 1211-1211 A fever is a disease symptom of tularemia
(diseaseSymptom TyphoidFever Fever) WMD.kif 1354-1354 A fever is a disease symptom of typhoid fever
(diseaseSymptom VenezuelanEquineEncephalitis Fever) WMD.kif 1407-1407 A fever is a disease symptom of venezuelan equine encephalitis
(diseaseSymptom RiftValleyFever Fever) WMD.kif 1420-1420 A fever is a disease symptom of rift valley fever
(diseaseSymptom Influenza Fever) WMD.kif 1445-1445 A fever is a disease symptom of influenza
(diseaseSymptom ParalyticShellfishPoisoning Paralysis) WMD.kif 1459-1459 Paralysis is a disease symptom of paralytic shellfish poisoning
(diseaseSymptom Malaria Fever) WMD.kif 1605-1605 A fever is a disease symptom of malaria
(diseaseSymptom SaintLouisEncephalitis Fever) WMD.kif 1679-1679 A fever is a disease symptom of saint louis encephalitis
(diseaseSymptom EasternEquineEncephalitis Fever) WMD.kif 1694-1694 A fever is a disease symptom of eastern equine encephalitis
(diseaseSymptom HepatitisA Fever) WMD.kif 1784-1784 A fever is a disease symptom of A
(diseaseSymptom RotavirusGastroenteritis Fever) WMD.kif 1819-1819 A fever is a disease symptom of rotavirus gastroenteritis
(diseaseSymptom LassaFever Fever) WMD.kif 1861-1861 A fever is a disease symptom of lassa fever
(diseaseSymptom Diphtheria Fever) WMD.kif 1900-1900 A fever is a disease symptom of diphtheria
(diseaseSymptom CrimeanCongoHemorrhagicFever Fever) WMD.kif 1908-1908 A fever is a disease symptom of crimean congo hemorrhagic fever

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners