Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	engineering.kif 826-831	If a corpuscular object is an instance of electrical conductor, then there exists a kind of substance such that a kind of substance is a subclass of conductor substance and the corpuscular object is made of the kind of substance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1281-1281	Conductor substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2495-2495	Electrolyte is a subclass of conductor substance