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 1817-1817
(subclass DengueFeverVirus ViralAgent) WMD.kif 1536-1536
(subclass EasternEquineEncephalitisVirus ViralAgent) WMD.kif 1587-1587
(subclass EbolaVirus ViralAgent) WMD.kif 1147-1147
(subclass FlexalVirus ViralAgent) WMD.kif 1868-1868
(subclass FootAndMouthVirus ViralAgent) WMD.kif 1138-1138
(subclass GuanaritoVirus ViralAgent) WMD.kif 1848-1848
(subclass HIVVirus ViralAgent) WMD.kif 1298-1298
(subclass HendraVirus ViralAgent) WMD.kif 1901-1901
(subclass HepatitisVirus ViralAgent) WMD.kif 1669-1669
(subclass HerpesBVirus ViralAgent) WMD.kif 1453-1453
(subclass JapaneseEncephalitisVirus ViralAgent) WMD.kif 1601-1601
(subclass JuninVirus ViralAgent) WMD.kif 1823-1823
(subclass LaCrosseVirus ViralAgent) WMD.kif 1557-1557
(subclass LassaVirus ViralAgent) WMD.kif 1755-1755
(subclass MachupoVirus ViralAgent) WMD.kif 1836-1836
(subclass MarburgVirus ViralAgent) WMD.kif 1633-1633
(subclass MonkeypoxVirus ViralAgent) WMD.kif 1184-1184
(subclass Myxomatosis ViralAgent) WMD.kif 1338-1338
(subclass NipahVirus ViralAgent) WMD.kif 1907-1907
(subclass Rotavirus ViralAgent) WMD.kif 1715-1715
(subclass SabiaVirus ViralAgent) WMD.kif 1858-1858
(subclass SaintLouisEncephalitisVirus ViralAgent) WMD.kif 1571-1571
(subclass VariolaMajor ViralAgent) WMD.kif 1206-1206
(subclass VariolaMinor ViralAgent) WMD.kif 1211-1211

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?VIRUS ViralAgent)
        (biochemicalAgentSyndrome ?VIRUS ?SYNDROME))
    (instance ?SYNDROME ViralDisease))
WMD.kif 1084-1088


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