|
|
   MachupoVirus
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1940-1940 | biochemicalAgentDelivery MachupoVirus and Respirar |
| 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 Roedor |
| 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 e' uma sub-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 |
|
|
|