ViralAgent
|
|
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 |
|