LifeThreateningAgent(危及生命的特工) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1010-1011 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1009-1009 | 子類 危及生命的特工 and 生化劑 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 324-324 | 子類 肉毒桿菌毒素 and 危及生命的特工 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1438-1438 | 子類 葡萄球菌腸毒素b and 危及生命的特工 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34349-34349 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34348-34348 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34347-34347 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1013-1015 |
consequent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1017-1023 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1035-1040 |
|
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 1381-1384 | |
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 2019-2022 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 401-404 |