| CapacitorElement(capacitor element)
| | Leiden_jar, Leyden_jar, bypass_capacitor, bypass_condenser, capacitance, capacitor, condenser, electrical_condenser, electrolytic, electrolytic_capacitor, electrolytic_condenser, trimmer, trimming_capacitor |
| appearance as argument number 1 |
|
|
| (documentation CapacitorElement EnglishLanguage "An AcrossVariableAccumulator from electrical energy domain.") | engineering.kif 532-532 | |
| (externalImage CapacitorElement "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ de/ Condensators.JPG/ 180px_Condensators.JPG") | pictureList.kif 1064-1064 | |
| (lexicon CapacitorElement LexNoun "capacitor") | engineering.kif 533-533 | |
| (subclass CapacitorElement ElectricDevice) | engineering.kif 534-534 | Capacitor element is a subclass of electric device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CapacitorElement "电容器元件") | domainEnglishFormat.kif 13053-13053 | |
| (termFormat ChineseTraditionalLanguage CapacitorElement "電容器元件") | domainEnglishFormat.kif 13052-13052 | |
| (termFormat EnglishLanguage CapacitorElement "capacitor element") | domainEnglishFormat.kif 13051-13051 |
| consequent |
|
|
| (=> (instance ?M AcrossVariableAccumulator) (exists (?C) (and (instance ?C CapacitorElement) (represents ?M ?C)))) |
engineering.kif 535-540 |
|
| (=> (instance ?M ElectricalTwopole) (exists (?C) (and (instance ?C CapacitorElement) (represents ?M ?C)))) |
engineering.kif 542-547 |
|
|
|
|