MachupoVirus
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1940-1940 | Breathing is a biochemical agent delivery of machupo virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1939-1939 | Bolivian hemorrhagic fever is a biochemical agent syndrome of machupo virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1938-1938 | Rodent is a biological agent carrier of machupo virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1941-1941 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1937-1937 | Machupo virus is a subclass of viral agent |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35555-35555 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35554-35554 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35553-35553 |