Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1393-1396	If a kind of biological agent is equal to the biological agent of coccidiodes posadasii, then a kind of biological agent is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2019-2022	If a kind of biological agent is equal to the biological agent of tick borne encephalitis virus, then a kind of biological agent is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1381-1384	If a kind of biological agent is equal to the biological agent of coccidioides immitis, then a kind of biological agent is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 401-404	If a kind of biological agent is equal to the biological agent of yersinia pestis, then a kind of biological agent is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1371-1374	If a kind of biological agent is equal to the biological agent of serratia marcenscens, then a kind of biological agent is a subclass of life threatening agent