Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	WMD.kif 2029-2034	BiochemicalAgent e' uma sub-classe de TickBorneEncephalitisVirus Doenca ou Sindrome Doenca ou Sindrome e' uma instancia de TickBorneEncephalitis biochemicalAgentSyndrome BiochemicalAgent and Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2036-2036	TickBorneEncephalitis e' uma sub-classe de ViralDisease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2037-2037	TickBorneEncephalitis e' uma sub-classe de VaccinatableDisease