InsulatorSubstance - Sigma Knowledge base Browser

appearance as argument number 1

(documentation InsulatorSubstance EnglishLanguage "a Substance such as glass or porcelain with negligible electrical conductivity.")	engineering.kif 1708-1709
(lexicon InsulatorSubstance LexNoun "insulator")	engineering.kif 1710-1710
(subclass InsulatorSubstance Substance)	engineering.kif 1711-1711	Insulator substance is a subclass of substance
(externalImage InsulatorSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ Ceramic_electric_insulator.jpg")	pictureList.kif 1486-1486	Insulator substance is a subclass of substance

appearance as argument number 2

(termFormat EnglishLanguage InsulatorSubstance "insulator substance")	domainEnglishFormat.kif 30297-30297
(termFormat ChineseTraditionalLanguage InsulatorSubstance "絕緣體物質")	domainEnglishFormat.kif 30298-30298
(termFormat ChineseLanguage InsulatorSubstance "绝缘体物质")	domainEnglishFormat.kif 30299-30299

consequent

(=>
    (instance ?I ResistorElement)
    (exists (?S)
        (and
            (subclass ?S InsulatorSubstance)
            (material ?S ?I))))

If X is an instance of resistor element, then there exists Y such that Y is a subclass of insulator substance and X is made of Y