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 est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 309-309 | Batrachotoxin est une sous-classe de substance corporel |