more pictures...
| Rectifier(rectifier)
more pictures... | | demodulator, detector, full-wave_rectifier, rectifier |
| appearance as argument number 1 |
|
|
| (documentation Rectifier EnglishLanguage "electrical device that transforms alternating into direct current.") | engineering.kif 1320-1321 | |
| (externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Regulated_rectifier.gif") | pictureList.kif 6811-6811 | |
| (externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2a/ VacRect2E.png") | pictureList.kif 7705-7705 | |
| (externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Halfwave.rectifier.en.png") | pictureList.kif 7706-7706 | |
| (externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ a/ a3/ Rectifier.jpg") | pictureList.kif 7702-7702 | |
| (externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ a/ a5/ 3_fase_bridge_rectifier.jpg") | pictureList.kif 7703-7703 | |
| (externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Fullwave.rectifier.en.png") | pictureList.kif 7707-7707 | |
| (externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Gratz.rectifier.en.png") | pictureList.kif 7708-7708 | |
| (lexicon Rectifier LexNoun "rectifier") | engineering.kif 1322-1322 | |
| (subclass Rectifier ElectricalCircuit) | engineering.kif 1323-1323 | Rectifier is a subclass of electrical circuit |
| appearance as argument number 2 |
|
|
| (subclass SinglePhaseRectifier Rectifier) | engineering.kif 1328-1328 | Single phase rectifier is a subclass of rectifier |
| (subclass ThreePhaseRectifier Rectifier) | engineering.kif 1348-1348 | Three phase rectifier is a subclass of rectifier |
| (termFormat ChineseLanguage Rectifier "整流器") | domainEnglishFormat.kif 49061-49061 | Three phase rectifier is a subclass of rectifier |
| (termFormat ChineseTraditionalLanguage Rectifier "整流器") | domainEnglishFormat.kif 49060-49060 | Three phase rectifier is a subclass of rectifier |
| (termFormat EnglishLanguage Rectifier "rectifier") | domainEnglishFormat.kif 49059-49059 | Three phase rectifier is a subclass of rectifier |
| consequent |
|
|
| (=> (instance ?DPS DevicePowerSupply) (exists (?R) (and (instance ?R Rectifier) (part ?R ?DPS)))) |
ComputingBrands.kif 3569-3574 |
|
|
|
|