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 是 毒素 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 309-309 | Batrachotoxin 是 身体物质 的 subclass |
![]() |