Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1288-1290	如果疾病或综合症是对于有点过程的 disease 治愈口服抗生素，然后有点过程是消化的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1284-1284	口服抗生素是抗生素的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1292-1292	青霉素是口服抗生素的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1296-1296	多西环素是口服抗生素的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1302-1302	环丙沙星是口服抗生素的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1308-1308	对头抱菌素IV 是口服抗生素的 subclass