| InsulatorSubstance
| |
| appearance as argument number 1 |
|
|
| (documentation InsulatorSubstance EnglishLanguage "a Substance such as glass or porcelain with negligible electrical conductivity.") | engineering.kif 1597-1598 | |
| (externalImage InsulatorSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ Ceramic_electric_insulator.jpg") | pictureList.kif 1486-1486 | |
| (lexicon InsulatorSubstance LexNoun "insulator") | engineering.kif 1599-1599 | |
| (subclass InsulatorSubstance Substance) | engineering.kif 1600-1600 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage InsulatorSubstance "绝缘体物质") | domainEnglishFormat.kif 30324-30324 | |
| (termFormat ChineseTraditionalLanguage InsulatorSubstance "絕緣體物質") | domainEnglishFormat.kif 30323-30323 | |
| (termFormat EnglishLanguage InsulatorSubstance "insulator substance") | domainEnglishFormat.kif 30322-30322 |
| consequent |
|
|
| (=> (instance ?I ResistorElement) (exists (?S) (and (subclass ?S InsulatorSubstance) (material ?S ?I)))) |
engineering.kif 1169-1174 |
|
|
|