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 10246-10246	Ingesting is a subclass of organism process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10247-10247	Ingesting is a subclass of transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10260-10260	Eating is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10271-10271	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