Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ViralAgent
ViralAgent

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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