Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	WMD.kif 2029-2034	如果有点生化剂是蜱传脑炎病毒的 subclass，然后有存在疾病或综合症这样那个疾病或综合症是蜱传脑炎的 instance 和那个疾病或综合症是有点生化剂的 biochemical 病毒征兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2036-2036	蜱传脑炎是病毒性疾病的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2037-2037	蜱传脑炎是可预防的疾病的 subclass