Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1288-1290	If a disease or syndrome is disease treatment oral antibiotic for a kind of process, then a kind of process is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1284-1284	Oral antibiotic is a subclass of antibiotic
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1292-1292	Penicillin is a subclass of oral antibiotic
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1296-1296	Doxycycline is a subclass of oral antibiotic
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1302-1302	Ciprofloxacin is a subclass of oral antibiotic
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1308-1308	Keflex is a subclass of oral antibiotic