Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rectifier
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 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 is a subclass of electrical circuit

appearance as argument number 2
-------------------------


(subclass SinglePhaseRectifier Rectifier) engineering.kif 1015-1015 Single phase rectifier is a subclass of rectifier
(subclass ThreePhaseRectifier Rectifier) engineering.kif 1035-1035 Three phase rectifier is a subclass of 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners