MachupoVirus
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1940-1940 | biochemicalAgentDelivery MachupoVirus and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1939-1939 | biochemicalAgentSyndrome MachupoVirus and BolivianHemorrhagicFever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1938-1938 | biologicalAgentCarrier MachupoVirus and rongeur |
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 | MachupoVirus est une sous-classe de ViralAgent |
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 |