Sigma KB Term Intersection

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 2029-2034	子類生化劑 and 蜱傳腦炎病毒 DiseaseOrSyndrome 例 DiseaseOrSyndrome and 蜱傳腦炎 DiseaseOrSyndrome 是生化劑的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2017-2017	子類蜱傳腦炎病毒 and Virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2043-2043	子類 kyasanur森林病病毒 and 蜱傳腦炎病毒