Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1393-1396	等於生物製劑 and 球孢子菌 posadasii 的 biological agent 子類生物製劑 and 危及生命的特工
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2019-2022	等於生物製劑 and 蜱傳腦炎病毒的 biological agent 子類生物製劑 and 危及生命的特工
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1381-1384	等於生物製劑 and 球孢子菌絲蟲的 biological agent 子類生物製劑 and 危及生命的特工
No TPTP formula. May not be expressible in strict first order.	WMD.kif 401-404	等於生物製劑 and 鼠疫耶爾森氏菌的 biological agent 子類生物製劑 and 危及生命的特工
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1371-1374	等於生物製劑 and serratia marcenscens 的 biological agent 子類生物製劑 and 危及生命的特工
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1009-1009	子類危及生命的特工 and 生化劑
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 危及生命的特工