Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1393-1396	如果有点生物制剂 equal 球孢子菌 posadasii 的 biological agent ，然后有点生物制剂是危及生命的特工的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2019-2022	如果有点生物制剂 equal 蜱传脑炎病毒的 biological agent ，然后有点生物制剂是危及生命的特工的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1381-1384	如果有点生物制剂 equal 球孢子菌丝虫的 biological agent ，然后有点生物制剂是危及生命的特工的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 401-404	如果有点生物制剂 equal 鼠疫耶尔森氏菌的 biological agent ，然后有点生物制剂是危及生命的特工的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1371-1374	如果有点生物制剂 equal serratia marcenscens 的 biological agent ，然后有点生物制剂是危及生命的特工的 subclass
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