| ConductorSubstance(conductor substance)
| | conductor |
| appearance as argument number 1 |
|
|
| (documentation ConductorSubstance EnglishLanguage "A Substance that readily conducts electricity.") | engineering.kif 1591-1592 | |
| (externalImage ConductorSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 74/ Stranded_lamp_wire.jpg") | pictureList.kif 4622-4622 | |
| (lexicon ConductorSubstance LexNoun "conductor") | engineering.kif 1593-1593 | |
| (subclass ConductorSubstance Substance) | engineering.kif 1594-1594 | Conductor substance is a subclass of substance |
| appearance as argument number 2 |
|
|
| (subclass Electrolyte ConductorSubstance) | Cars.kif 2479-2479 | Electrolyte is a subclass of conductor substance |
| (termFormat ChineseLanguage ConductorSubstance "导体物质") | domainEnglishFormat.kif 16544-16544 | Electrolyte is a subclass of conductor substance |
| (termFormat ChineseTraditionalLanguage ConductorSubstance "導體物質") | domainEnglishFormat.kif 16543-16543 | Electrolyte is a subclass of conductor substance |
| (termFormat EnglishLanguage ConductorSubstance "conductor substance") | domainEnglishFormat.kif 16542-16542 | Electrolyte is a subclass of conductor substance |
| consequent |
|
|
| (=> (instance ?C ElectricalConductor) (exists (?S) (and (subclass ?S ConductorSubstance) (material ?S ?C)))) |
engineering.kif 1139-1144 |
|
| (=> (instance ?WC WireCoil) (material ConductorSubstance ?WC)) |
Cars.kif 3127-3129 |
|
|
|
|