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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InsulatorSubstance
InsulatorSubstance

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


(documentation InsulatorSubstance EnglishLanguage "a Substance such as glass or porcelain with negligible electrical conductivity.") engineering.kif 1283-1284
(externalImage InsulatorSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ Ceramic_electric_insulator.jpg") pictureList.kif 1486-1486
(lexicon InsulatorSubstance LexNoun "insulator") engineering.kif 1285-1285
(subclass InsulatorSubstance Substance) engineering.kif 1286-1286 InsulatorSubstance est une sous-classe de substance

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


(termFormat ChineseLanguage InsulatorSubstance "绝缘体物质") domainEnglishFormat.kif 30295-30295
(termFormat ChineseTraditionalLanguage InsulatorSubstance "絕緣體物質") domainEnglishFormat.kif 30294-30294
(termFormat EnglishLanguage InsulatorSubstance "insulator substance") domainEnglishFormat.kif 30293-30293

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


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


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