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 | 危及生命的特工 是 生化剂 的 subclass |
appearance as argument number 2 |
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 |
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 |