|
|
   CapacitorElement
|
|
|
| appearance as argument number 1 |
|
|
| (documentation CapacitorElement EnglishLanguage "An AcrossVariableAccumulator from electrical energy domain.") | engineering.kif 530-530 | |
| (externalImage CapacitorElement "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ de/ Condensators.JPG/ 180px-Condensators.JPG") | pictureList.kif 1065-1065 | |
| (lexicon CapacitorElement LexNoun "capacitor") | engineering.kif 531-531 | |
| (subclass CapacitorElement ElectricDevice) | engineering.kif 532-532 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CapacitorElement "电容器元件") | domainEnglishFormat.kif 13041-13041 | |
| (termFormat ChineseTraditionalLanguage CapacitorElement "電容器元件") | domainEnglishFormat.kif 13040-13040 | |
| (termFormat EnglishLanguage CapacitorElement "capacitor element") | domainEnglishFormat.kif 13039-13039 |
| consequent |
|
|
| (=> (instance ?M AcrossVariableAccumulator) (exists (?C) (and (instance ?C CapacitorElement) (represents ?M ?C)))) |
engineering.kif 533-538 | |
| (=> (instance ?M ElectricalTwopole) (exists (?C) (and (instance ?C CapacitorElement) (represents ?M ?C)))) |
engineering.kif 540-545 |
|
|
|
