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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 1009-1010
(externalImage Rectifier " 0/ 07/ Regulated_rectifier.gif") pictureList.kif 6812-6812
(externalImage Rectifier " 2/ 2a/ VacRect2E.png") pictureList.kif 7706-7706
(externalImage Rectifier " 9/ 9b/ Halfwave.rectifier.en.png") pictureList.kif 7707-7707
(externalImage Rectifier " a/ a3/ Rectifier.jpg") pictureList.kif 7703-7703
(externalImage Rectifier " a/ a5/ 3_fase_bridge_rectifier.jpg") pictureList.kif 7704-7704
(externalImage Rectifier " b/ b3/ Fullwave.rectifier.en.png") pictureList.kif 7708-7708
(externalImage Rectifier " c/ cc/ Gratz.rectifier.en.png") pictureList.kif 7709-7709
(lexicon Rectifier LexNoun "rectifier") engineering.kif 1011-1011
(subclass Rectifier ElectricalCircuit) engineering.kif 1012-1012 Rectifier is a subclass of electrical circuit

appearance as argument number 2

(subclass SinglePhaseRectifier Rectifier) engineering.kif 1017-1017 Single phase rectifier is a subclass of rectifier
(subclass ThreePhaseRectifier Rectifier) engineering.kif 1037-1037 Three phase rectifier is a subclass of rectifier
(termFormat ChineseLanguage Rectifier "整流器") domainEnglishFormat.kif 49040-49040
(termFormat ChineseTraditionalLanguage Rectifier "整流器") domainEnglishFormat.kif 49039-49039
(termFormat EnglishLanguage Rectifier "rectifier") domainEnglishFormat.kif 49038-49038


    (instance ?DPS DevicePowerSupply)
    (exists (?R)
            (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