Sigma KB Term Intersection

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 2029-2034	If a kind of biochemical agent is a subclass of tick borne encephalitis virus, then there exists a disease or syndrome such that the disease or syndrome is an instance of tick borne encephalitis and the disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2017-2017	Tick borne encephalitis virus is a subclass of virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2043-2043	Kyasanur forest disease virus is a subclass of tick borne encephalitis virus