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.	Merge.kif 10268-10268	Ingesting is a subclass of organism process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10269-10269	Ingesting is a subclass of transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10282-10282	Eating is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10293-10293	Drinking is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1068-1068	IV Therapy is a subclass of ingesting