| ElectricalConductor
| | channel, transmission_channel |
| appearance as argument number 1 |
|
|
| (documentation ElectricalConductor EnglishLanguage "An ElectricalComponent designed to transmit electricity") | engineering.kif 1136-1137 | |
| (externalImage ElectricalConductor "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 82/ Cord.agr.jpg") | pictureList.kif 74-74 | |
| (externalImage ElectricalConductor "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 83/ Line.agr.jpg") | pictureList.kif 127-127 | |
| (subclass ElectricalConductor ElectricalComponent) | engineering.kif 1138-1138 | ElectricalConductor is a subclass of ElectricalComponent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ElectricalConductor "electrical conductor") | domainEnglishFormat.kif 64801-64801 |
| antecedent |
|
|
| (=> (instance ?C ElectricalConductor) (exists (?S) (and (subclass ?S ConductorSubstance) (material ?S ?C)))) |
engineering.kif 1139-1144 |
|
|
|
|