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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rectifier
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

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


(subclass SinglePhaseRectifier Rectifier) engineering.kif 1015-1015
(subclass ThreePhaseRectifier Rectifier) engineering.kif 1035-1035
(termFormat ChineseLanguage Rectifier "整流器") domainEnglishFormat.kif 49030-49030
(termFormat ChineseTraditionalLanguage Rectifier "整流器") domainEnglishFormat.kif 49029-49029
(termFormat EnglishLanguage Rectifier "rectifier") domainEnglishFormat.kif 49028-49028

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