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 1784-1784
(subclass DengueFeverVirus ViralAgent) WMD.kif 1503-1503
(subclass EasternEquineEncephalitisVirus ViralAgent) WMD.kif 1554-1554
(subclass EbolaVirus ViralAgent) WMD.kif 1114-1114
(subclass FlexalVirus ViralAgent) WMD.kif 1835-1835
(subclass FootAndMouthVirus ViralAgent) WMD.kif 1105-1105
(subclass GuanaritoVirus ViralAgent) WMD.kif 1815-1815
(subclass HIVVirus ViralAgent) WMD.kif 1265-1265
(subclass HendraVirus ViralAgent) WMD.kif 1868-1868
(subclass HepatitisVirus ViralAgent) WMD.kif 1636-1636
(subclass HerpesBVirus ViralAgent) WMD.kif 1420-1420
(subclass JapaneseEncephalitisVirus ViralAgent) WMD.kif 1568-1568
(subclass JuninVirus ViralAgent) WMD.kif 1790-1790
(subclass LaCrosseVirus ViralAgent) WMD.kif 1524-1524
(subclass LassaVirus ViralAgent) WMD.kif 1722-1722
(subclass MachupoVirus ViralAgent) WMD.kif 1803-1803
(subclass MarburgVirus ViralAgent) WMD.kif 1600-1600
(subclass MonkeypoxVirus ViralAgent) WMD.kif 1151-1151
(subclass Myxomatosis ViralAgent) WMD.kif 1305-1305
(subclass NipahVirus ViralAgent) WMD.kif 1874-1874
(subclass Rotavirus ViralAgent) WMD.kif 1682-1682
(subclass SabiaVirus ViralAgent) WMD.kif 1825-1825
(subclass SaintLouisEncephalitisVirus ViralAgent) WMD.kif 1538-1538
(subclass VariolaMajor ViralAgent) WMD.kif 1173-1173
(subclass VariolaMinor ViralAgent) WMD.kif 1178-1178

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 1051-1055


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