Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11000-11005	If a kind of medicine is a subclass of antibiotic, then there exists a disease or syndrome such that the disease or syndrome is an instance of bacterial disease and a kind of medicine is medicine for the disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1322-1326	If a disease or syndrome is disease treatment bacitracin for a kind of process, then the disease or syndrome is an instance of bacterial disease and a kind of process is a subclass of putting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6759-6759	Bacterial disease is a subclass of infectious disease