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


KB Term:  Term intersection
English Word: 

  ViralDisease

 Sigma KEE - ViralDisease
ViralDisease(viral disease)bluetongue, cold, cold_sore, common_cold, fever_blister, genital_herpes, herpangia, herpes, herpes_genitalis, herpes_labialis, herpes_simplex, herpes_zoster, oral_herpes, shingles, zoster

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


(subclass ViralDisease InfectiousDisease) Mid-level-ontology.kif 7066-7066 Viral disease is a subclass of infectious disease
(documentation ViralDisease EnglishLanguage "A disease that is caused by instances of a Virus.") Mid-level-ontology.kif 7067-7068 Viral disease is a subclass of infectious disease

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


(instance Covid19 ViralDisease) VirusProteinAndCellPart.kif 1219-1219 Covid is an instance of viral disease
(subclass HemorrhagicFever ViralDisease) WMD.kif 1115-1115 Hemorrhagic fever is a subclass of viral disease
(instance YellowSkin ViralDisease) WMD.kif 1165-1165 Yellow skin is an instance of viral disease
(instance Smallpox ViralDisease) WMD.kif 1216-1216 Smallpox is an instance of viral disease
(instance Monkeypox ViralDisease) WMD.kif 1224-1224 Monkeypox is an instance of viral disease
(instance Mixomatosis ViralDisease) WMD.kif 1234-1234 Mixomatosis is an instance of viral disease
(subclass VenezuelanEquineEncephalitis ViralDisease) WMD.kif 1404-1404 Venezuelan equine encephalitis is a subclass of viral disease
(subclass RiftValleyFever ViralDisease) WMD.kif 1419-1419 Rift valley fever is a subclass of viral disease
(subclass Influenza ViralDisease) WMD.kif 1443-1443 Influenza is a subclass of viral disease
(instance HerpesB ViralDisease) WMD.kif 1513-1513 Herpes b is an instance of viral disease
(instance WestNileFever ViralDisease) WMD.kif 1627-1627 West nile fever is an instance of viral disease
(instance DengueFever ViralDisease) WMD.kif 1642-1642 Dengue fever is an instance of viral disease
(instance LaCrosseEncephalitis ViralDisease) WMD.kif 1662-1662 La crosse encephalitis is an instance of viral disease
(instance SaintLouisEncephalitis ViralDisease) WMD.kif 1676-1676 Saint louis encephalitis is an instance of viral disease
(instance EasternEquineEncephalitis ViralDisease) WMD.kif 1692-1692 Eastern equine encephalitis is an instance of viral disease
(instance JapaneseEncephalitis ViralDisease) WMD.kif 1706-1706 Japanese encephalitis is an instance of viral disease
(instance MarburgDisease ViralDisease) WMD.kif 1736-1736 Marburg disease is an instance of viral disease
(subclass Hepatitis ViralDisease) WMD.kif 1773-1773 Hepatitis is a subclass of viral disease
(instance RotavirusGastroenteritis ViralDisease) WMD.kif 1818-1818 Rotavirus gastroenteritis is an instance of viral disease
(instance LassaFever ViralDisease) WMD.kif 1859-1859 Lassa fever is an instance of viral disease
(subclass TickBorneEncephalitis ViralDisease) WMD.kif 2032-2032 Tick borne encephalitis is a subclass of viral disease
(termFormat EnglishLanguage ViralDisease "viral disease") domainEnglishFormat.kif 61707-61707 Tick borne encephalitis is a subclass of viral disease
(termFormat ChineseTraditionalLanguage ViralDisease "病毒性疾病") domainEnglishFormat.kif 61708-61708 Tick borne encephalitis is a subclass of viral disease
(termFormat ChineseLanguage ViralDisease "病毒性疾病") domainEnglishFormat.kif 61709-61709 Tick borne encephalitis is a subclass of viral disease

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


(=>
    (instance ?DISEASE ViralDisease)
    (exists (?PROCESS)
        (not
            (diseaseMedicine ?DISEASE Antibiotic ?PROCESS))))		 WMD.kif 1274-1278 If X is an instance of viral disease, then there exists Y such that X isn't disease treatment antibiotic for Y

consequent
-------------------------


(=>
    (and
        (instance ?AVM AntiViralMedicine)
        (instance ?AVM ?CLASS))
    (exists (?D)
        (and
            (instance ?D ViralDisease)
            (medicine ?CLASS ?D))))		 VirusProteinAndCellPart.kif 1244-1251 If X is an instance of anti viral medicine and X is an instance of Y, then there exists Z such that Z is an instance of viral disease and Y is medicine for Z
(=>
    (and
        (instance ?VIRUS ViralAgent)
        (instance ?VIRUS ?CLASS)
        (biochemicalAgentSyndrome ?CLASS ?SYNDROME))
    (instance ?SYNDROME ViralDisease))		 WMD.kif 1127-1132 If X is an instance of viral agent, X is an instance of Y, and Z is a biochemical agent syndrome of Y, then Z is an instance of viral disease


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