CapacitorElement |
appearance as argument number 1 |
(documentation CapacitorElement EnglishLanguage "An AcrossVariableAccumulator from electrical energy domain.") | engineering.kif 533-533 | |
(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 534-534 | |
(subclass CapacitorElement ElectricDevice) | engineering.kif 535-535 | CapacitorElement ist eine teilkategorie von ElectricDevice |
appearance as argument number 2 |
(termFormat ChineseLanguage CapacitorElement "电容器元件") | domainEnglishFormat.kif 13038-13038 | |
(termFormat ChineseTraditionalLanguage CapacitorElement "電容器元件") | domainEnglishFormat.kif 13037-13037 | |
(termFormat EnglishLanguage CapacitorElement "capacitor element") | domainEnglishFormat.kif 13036-13036 |
consequent |
(=> (instance ?M AcrossVariableAccumulator) (exists (?C) (and (instance ?C CapacitorElement) (represents ?M ?C)))) |
engineering.kif 536-541 |
|
(=> (instance ?M ElectricalTwopole) (exists (?C) (and (instance ?C CapacitorElement) (represents ?M ?C)))) |
engineering.kif 543-548 |
|