| 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 30305-30305 | |
| (termFormat ChineseTraditionalLanguage InsulatorSubstance "絕緣體物質") | domainEnglishFormat.kif 30304-30304 | |
| (termFormat EnglishLanguage InsulatorSubstance "insulator substance") | domainEnglishFormat.kif 30303-30303 |
| consequent |
|
|
| (=> (instance ?I ResistorElement) (exists (?S) (and (subclass ?S InsulatorSubstance) (material ?S ?I)))) |
engineering.kif 1168-1173 |
|
|
|
|