Sigma KB Term Intersection

(=> (instance ?I ResistorElement) (exists (?S) (and (subclass ?S InsulatorSubstance) (material ?S ?I))))	engineering.kif 855-860	If a corpuscular object is an instance of resistor element, then there exists a kind of substance such that a kind of substance is a subclass of insulator substance and the corpuscular object is made of the kind of substance
(subclass ResistorElement ElectricDevice)	engineering.kif 834-834	Resistor element is a subclass of electric device
(subclass ResistorElement ElectricalComponent)	engineering.kif 854-854	Resistor element is a subclass of electrical component