| ConductorSubstance(conductor substance)
| | conductor |
| appearance as argument number 1 |
|
|
| (documentation ConductorSubstance EnglishLanguage "A Substance that readily conducts electricity.") | engineering.kif 1278-1279 | |
| (externalImage ConductorSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 74/ Stranded_lamp_wire.jpg") | pictureList.kif 4623-4623 | |
| (lexicon ConductorSubstance LexNoun "conductor") | engineering.kif 1280-1280 | |
| (subclass ConductorSubstance Substance) | engineering.kif 1281-1281 | Conductor substance is a subclass of substance |
| appearance as argument number 2 |
|
|
| (subclass Electrolyte ConductorSubstance) | Cars.kif 2478-2478 | Electrolyte is a subclass of conductor substance |
| (termFormat ChineseLanguage ConductorSubstance "导体物质") | domainEnglishFormat.kif 16552-16552 | Electrolyte is a subclass of conductor substance |
| (termFormat ChineseTraditionalLanguage ConductorSubstance "導體物質") | domainEnglishFormat.kif 16551-16551 | Electrolyte is a subclass of conductor substance |
| (termFormat EnglishLanguage ConductorSubstance "conductor substance") | domainEnglishFormat.kif 16550-16550 | Electrolyte is a subclass of conductor substance |
| consequent |
|
|
| (=> (instance ?C ElectricalConductor) (exists (?S) (and (subclass ?S ConductorSubstance) (material ?S ?C)))) |
engineering.kif 826-831 |
|
| (=> (instance ?WC WireCoil) (material ConductorSubstance ?WC)) |
Cars.kif 3051-3053 |
|
|
|
|