Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 1431-1432
(lexicon Rectifier LexNoun "rectifier") engineering.kif 1433-1433
(subclass Rectifier ElectricalCircuit) engineering.kif 1434-1434 Rectifier is a subclass of electrical circuit
(externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Regulated_rectifier.gif") pictureList.kif 6811-6811 Rectifier is a subclass of electrical circuit
(externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ a/ a3/ Rectifier.jpg") pictureList.kif 7702-7702 Rectifier is a subclass of electrical circuit
(externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ a/ a5/ 3_fase_bridge_rectifier.jpg") pictureList.kif 7703-7703 Rectifier is a subclass of electrical circuit
(externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2a/ VacRect2E.png") pictureList.kif 7705-7705 Rectifier is a subclass of electrical circuit
(externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Halfwave.rectifier.en.png") pictureList.kif 7706-7706 Rectifier is a subclass of electrical circuit
(externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Fullwave.rectifier.en.png") pictureList.kif 7707-7707 Rectifier is a subclass of electrical circuit
(externalImage Rectifier "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Gratz.rectifier.en.png") pictureList.kif 7708-7708 Rectifier is a subclass of electrical circuit

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


(termFormat EnglishLanguage Rectifier "rectifier") domainEnglishFormat.kif 49023-49023
(termFormat ChineseTraditionalLanguage Rectifier "整流器") domainEnglishFormat.kif 49024-49024
(termFormat ChineseLanguage Rectifier "整流器") domainEnglishFormat.kif 49025-49025
(subclass SinglePhaseRectifier Rectifier) engineering.kif 1439-1439 Single phase rectifier is a subclass of rectifier
(subclass ThreePhaseRectifier Rectifier) engineering.kif 1459-1459 Three phase rectifier is a subclass of rectifier

consequent
-------------------------


(=>
    (instance ?DPS DevicePowerSupply)
    (exists (?R)
        (and
            (instance ?R Rectifier)
            (part ?R ?DPS))))		 ComputingBrands.kif 3475-3480 If X is an instance of device power supply, then there exists Y such that Y is an instance of rectifier and Y is a part of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners