Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InsulatorSubstance
InsulatorSubstance(insulator substance)
bushing, dielectric, glass_wool, insulator, mineral_wool, nonconductor, rock_wool

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage InsulatorSubstance "绝缘体物质") domainEnglishFormat.kif 30323-30323
(termFormat ChineseTraditionalLanguage InsulatorSubstance "絕緣體物質") domainEnglishFormat.kif 30322-30322
(termFormat EnglishLanguage InsulatorSubstance "insulator substance") domainEnglishFormat.kif 30321-30321

consequent
-------------------------


(=>
    (instance ?I ResistorElement)
    (exists (?S)
        (and
            (subclass ?S InsulatorSubstance)
            (material ?S ?I))))
engineering.kif 1168-1173


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners