| 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 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 | Insulator substance is a subclass of substance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage InsulatorSubstance "绝缘体物质") | domainEnglishFormat.kif 30329-30329 | |
| (termFormat ChineseTraditionalLanguage InsulatorSubstance "絕緣體物質") | domainEnglishFormat.kif 30328-30328 | |
| (termFormat EnglishLanguage InsulatorSubstance "insulator substance") | domainEnglishFormat.kif 30327-30327 |
| consequent |
|
|
| (=> (instance ?I ResistorElement) (exists (?S) (and (subclass ?S InsulatorSubstance) (material ?S ?I)))) |
engineering.kif 855-860 |
|
|
|
|