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 1918-1918 Crimean congo hemorrhagic fever virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1637-1637 Dengue fever virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1688-1688 Eastern equine encephalitis virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1195-1195 Ebola virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1969-1969 Flexal virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1186-1186 Foot and mouth virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1949-1949 Guanarito virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1347-1347 HIV virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 2051-2051 Hendra virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1770-1770 Hepatitis virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1511-1511 Herpes virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1702-1702 Japanese encephalitis virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1924-1924 Junin virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1658-1658 La crosse virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1856-1856 Lassa virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1937-1937 Machupo virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1734-1734 Marburg virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1232-1232 Monkeypox virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1402-1402 Myxomatosis is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 2057-2057 Nipah virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1816-1816 Rotavirus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1959-1959 Sabia virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1672-1672 Saint louis encephalitis virus is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1254-1254 Variola major is a subclass of viral agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1259-1259 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 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