ViralDisease - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ViralDisease EnglishLanguage "A disease that is caused by instances of a Virus.")	Mid-level-ontology.kif 5942-5943
(subclass ViralDisease InfectiousDisease)	Mid-level-ontology.kif 5941-5941

appearance as argument number 2

(instance Covid19 ViralDisease)	VirusProteinAndCellPart.kif 1234-1234
(instance DengueFever ViralDisease)	WMD.kif 1646-1646
(instance EasternEquineEncephalitis ViralDisease)	WMD.kif 1696-1696
(instance HerpesB ViralDisease)	WMD.kif 1517-1517
(instance JapaneseEncephalitis ViralDisease)	WMD.kif 1710-1710
(instance LaCrosseEncephalitis ViralDisease)	WMD.kif 1666-1666
(instance LassaFever ViralDisease)	WMD.kif 1863-1863
(instance MarburgDisease ViralDisease)	WMD.kif 1740-1740
(instance Mixomatosis ViralDisease)	WMD.kif 1238-1238
(instance Monkeypox ViralDisease)	WMD.kif 1228-1228
(instance RotavirusGastroenteritis ViralDisease)	WMD.kif 1822-1822
(instance SaintLouisEncephalitis ViralDisease)	WMD.kif 1680-1680
(instance Smallpox ViralDisease)	WMD.kif 1220-1220
(instance WestNileFever ViralDisease)	WMD.kif 1631-1631
(instance YellowSkin ViralDisease)	WMD.kif 1169-1169
(subclass HemorrhagicFever ViralDisease)	WMD.kif 1119-1119
(subclass Hepatitis ViralDisease)	WMD.kif 1777-1777
(subclass Influenza ViralDisease)	WMD.kif 1447-1447
(subclass RiftValleyFever ViralDisease)	WMD.kif 1423-1423
(subclass TickBorneEncephalitis ViralDisease)	WMD.kif 2036-2036
(subclass VenezuelanEquineEncephalitis ViralDisease)	WMD.kif 1408-1408
(termFormat ChineseLanguage ViralDisease "病毒性疾病")	domainEnglishFormat.kif 61731-61731
(termFormat ChineseTraditionalLanguage ViralDisease "病毒性疾病")	domainEnglishFormat.kif 61730-61730
(termFormat EnglishLanguage ViralDisease "viral disease")	domainEnglishFormat.kif 61729-61729

antecedent

(=>
    (instance ?DISEASE ViralDisease)
    (exists (?PROCESS)
        (not
            (diseaseMedicine ?DISEASE Antibiotic ?PROCESS))))

WMD.kif 1278-1282

consequent

(=> (and (instance ?AVM AntiViralMedicine) (instance ?AVM ?CLASS)) (exists (?D) (and (instance ?D ViralDisease) (medicine ?CLASS ?D))))	VirusProteinAndCellPart.kif 1259-1266
(=> (and (instance ?VIRUS ViralAgent) (instance ?VIRUS ?CLASS) (biochemicalAgentSyndrome ?CLASS ?SYNDROME)) (instance ?SYNDROME ViralDisease))	WMD.kif 1131-1136