more pictures...
| Rectifier
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Rectifier EnglishLanguage "electrical device that transforms alternating into direct current.") | engineering.kif 1007-1008 | |
| (externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Regulated_rectifier.gif") | pictureList.kif 6812-6812 | |
| (externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2a/ VacRect2E.png") | pictureList.kif 7706-7706 | |
| (externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Halfwave.rectifier.en.png") | pictureList.kif 7707-7707 | |
| (externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ a/ a3/ Rectifier.jpg") | pictureList.kif 7703-7703 | |
| (externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ a/ a5/ 3_fase_bridge_rectifier.jpg") | pictureList.kif 7704-7704 | |
| (externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Fullwave.rectifier.en.png") | pictureList.kif 7708-7708 | |
| (externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Gratz.rectifier.en.png") | pictureList.kif 7709-7709 | |
| (lexicon Rectifier LexNoun "rectifier") | engineering.kif 1009-1009 | |
| (subclass Rectifier ElectricalCircuit) | engineering.kif 1010-1010 | Rectifier est une sous-classe de ElectricalCircuit |
| appearance as argument number 2 |
|
|
| (subclass SinglePhaseRectifier Rectifier) | engineering.kif 1015-1015 | SinglePhaseRectifier est une sous-classe de Rectifier |
| (subclass ThreePhaseRectifier Rectifier) | engineering.kif 1035-1035 | ThreePhaseRectifier est une sous-classe de Rectifier |
| (termFormat ChineseLanguage Rectifier "整流器") | domainEnglishFormat.kif 49028-49028 | |
| (termFormat ChineseTraditionalLanguage Rectifier "整流器") | domainEnglishFormat.kif 49027-49027 | |
| (termFormat EnglishLanguage Rectifier "rectifier") | domainEnglishFormat.kif 49026-49026 |
| consequent |
|
|
| (=> (instance ?DPS DevicePowerSupply) (exists (?R) (and (instance ?R Rectifier) (part ?R ?DPS)))) |
ComputingBrands.kif 3569-3574 |
|
|
|