| CapacitorElement
| |
| 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 |
| 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 |
|
|
|