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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ViralAgent
ViralAgent(viral agent)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 232-232
No TPTP formula. May not be expressible in strict first order. WMD.kif 230-230 Viral agent is a subclass of toxic organism
No TPTP formula. May not be expressible in strict first order. WMD.kif 231-231 Viral agent is a subclass of virus

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1817-1817 Crimean congo hemorrhagic fever virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1536-1536 Dengue fever virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1587-1587 Eastern equine encephalitis virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1147-1147 Ebola virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1868-1868 Flexal virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1138-1138 Foot and mouth virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1848-1848 Guanarito virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1298-1298 HIV virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1901-1901 Hendra virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1669-1669 Hepatitis virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1453-1453 HerpesB virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1601-1601 Japanese encephalitis virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1823-1823 Junin virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1557-1557 La crosse virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1755-1755 Lassa virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1836-1836 Machupo virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1633-1633 Marburg virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1184-1184 Monkeypox virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1338-1338 Myxomatosis is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1907-1907 Nipah virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1715-1715 Rotavirus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1858-1858 Sabia virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1571-1571 Saint louis encephalitis virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1206-1206 Variola major is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1211-1211 Variola minor is a subclass of viral agent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. 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