Sigma KB Term Intersection

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 2029-2034	如果有点生化剂是蜱传脑炎病毒的 subclass，然后有存在疾病或综合症这样那个疾病或综合症是蜱传脑炎的 instance 和那个疾病或综合症是有点生化剂的 biochemical 病毒征兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2017-2017	蜱传脑炎病毒是病毒的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2043-2043	Kyasanur森林病病毒是蜱传脑炎病毒的 subclass