| No TPTP formula. May not be expressible in strict first order. | WMD.kif 313-315 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 308-308 | Batrachotoxin e' uma sub-classe de Toxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 309-309 | Batrachotoxin e' uma sub-classe de Substancia Corporal |
|
|