|
|
   AerosolizedBacillusAnthracis
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 292-292 | biochemicalAgentDelivery AerosolizedBacillusAnthracis and Respirar |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 293-293 | biochemicalAgentSyndrome AerosolizedBacillusAnthracis and InhalationalAnthrax |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 294-296 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 291-291 | AerosolizedBacillusAnthracis e' uma sub-classe de AerosolizedAgent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 304-304 | Vollum1B e' uma sub-classe de AerosolizedBacillusAnthracis |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5658-5658 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5657-5657 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5656-5656 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 297-302 |
|
|
|
|