ViralAgent - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ViralAgent EnglishLanguage "BiologicalAgents that are also a Virus.")	WMD.kif 232-232
(subclass ViralAgent ToxicOrganism)	WMD.kif 230-230
(subclass ViralAgent Virus)	WMD.kif 231-231

appearance as argument number 2

(subclass CrimeanCongoHemorrhagicFeverVirus ViralAgent)	WMD.kif 1918-1918
(subclass DengueFeverVirus ViralAgent)	WMD.kif 1637-1637
(subclass EasternEquineEncephalitisVirus ViralAgent)	WMD.kif 1688-1688
(subclass EbolaVirus ViralAgent)	WMD.kif 1195-1195
(subclass FlexalVirus ViralAgent)	WMD.kif 1969-1969
(subclass FootAndMouthVirus ViralAgent)	WMD.kif 1186-1186
(subclass GuanaritoVirus ViralAgent)	WMD.kif 1949-1949
(subclass HIVVirus ViralAgent)	WMD.kif 1347-1347
(subclass HendraVirus ViralAgent)	WMD.kif 2051-2051
(subclass HepatitisVirus ViralAgent)	WMD.kif 1770-1770
(subclass HerpesVirus ViralAgent)	WMD.kif 1511-1511
(subclass JapaneseEncephalitisVirus ViralAgent)	WMD.kif 1702-1702
(subclass JuninVirus ViralAgent)	WMD.kif 1924-1924
(subclass LaCrosseVirus ViralAgent)	WMD.kif 1658-1658
(subclass LassaVirus ViralAgent)	WMD.kif 1856-1856
(subclass MachupoVirus ViralAgent)	WMD.kif 1937-1937
(subclass MarburgVirus ViralAgent)	WMD.kif 1734-1734
(subclass MonkeypoxVirus ViralAgent)	WMD.kif 1232-1232
(subclass Myxomatosis ViralAgent)	WMD.kif 1402-1402
(subclass NipahVirus ViralAgent)	WMD.kif 2057-2057
(subclass Rotavirus ViralAgent)	WMD.kif 1816-1816
(subclass SabiaVirus ViralAgent)	WMD.kif 1959-1959
(subclass SaintLouisEncephalitisVirus ViralAgent)	WMD.kif 1672-1672
(subclass VariolaMajor ViralAgent)	WMD.kif 1254-1254
(subclass VariolaMinor ViralAgent)	WMD.kif 1259-1259

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=>
    (and
        (instance ?VIRUS ViralAgent)
        (instance ?VIRUS ?CLASS)
        (biochemicalAgentSyndrome ?CLASS ?SYNDROME))
    (instance ?SYNDROME ViralDisease))

WMD.kif 1131-1136