No TPTP formula. May not be expressible in strict first order. | WMD.kif 1393-1396 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2019-2022 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1381-1384 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 401-404 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1371-1374 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1009-1009 | 危及生命的特工 是 生化剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 324-324 | 肉毒杆菌毒素 是 危及生命的特工 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1438-1438 | 葡萄球菌肠毒素b 是 危及生命的特工 的 subclass |