No TPTP formula. May not be expressible in strict first order. |
WMD.kif 540-540 |
Arsine e' uma sub-classe de BloodAgent |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 534-534 |
CyanogenChloride e' uma sub-classe de BloodAgent |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 528-528 |
HydrogenCyanide e' uma sub-classe de BloodAgent |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11351-11351 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11350-11350 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11349-11349 |
|