Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4614-4619	If a physical is a subclass of immunosuppressant, then the physical has the purpose an entity is an instance of auto-immune disease and the entity is disease treatment the physical for another entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4595-4595	Immunosuppressant is a subclass of medicine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4621-4621	Benelysta is a subclass of immunosuppressant
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4725-4725	Mycophenolic acid is a subclass of immunosuppressant