|
|
   ConductorSubstance
|
|
|
| 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 | ConductorSubstance e' uma sub-classe de Substancia |
| appearance as argument number 2 |
|
|
| (subclass Electrolyte ConductorSubstance) | Cars.kif 2478-2478 | Electrolyte e' uma sub-classe de ConductorSubstance |
| (termFormat ChineseLanguage ConductorSubstance "导体物质") | domainEnglishFormat.kif 16536-16536 | |
| (termFormat ChineseTraditionalLanguage ConductorSubstance "導體物質") | domainEnglishFormat.kif 16535-16535 | |
| (termFormat EnglishLanguage ConductorSubstance "conductor substance") | domainEnglishFormat.kif 16534-16534 |
| 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 |
|
|
|
|
