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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SinglePhaseRectifier
SinglePhaseRectifier

appearance as argument number 1
-------------------------


(documentation SinglePhaseRectifier EnglishLanguage "A Rectifier of single phase AC voltage.") engineering.kif 1012-1013
(lexicon SinglePhaseRectifier LexNoun "single-phase rectifier") engineering.kif 1014-1014
(subclass SinglePhaseRectifier Rectifier) engineering.kif 1015-1015 SinglePhaseRectifier è una sottoclasse di Rectifier

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


(subclass BridgeSinglePhaseRectifier SinglePhaseRectifier) engineering.kif 1025-1025 BridgeSinglePhaseRectifier è una sottoclasse di SinglePhaseRectifier
(subclass DoublerSinglePhaseRectifier SinglePhaseRectifier) engineering.kif 1030-1030 DoublerSinglePhaseRectifier è una sottoclasse di SinglePhaseRectifier
(subclass HalfWaveSinglePhaseRectifier SinglePhaseRectifier) engineering.kif 1020-1020 HalfWaveSinglePhaseRectifier è una sottoclasse di SinglePhaseRectifier
(termFormat ChineseLanguage SinglePhaseRectifier "单相整流器") domainEnglishFormat.kif 53194-53194
(termFormat ChineseTraditionalLanguage SinglePhaseRectifier "單相整流器") domainEnglishFormat.kif 53193-53193
(termFormat EnglishLanguage SinglePhaseRectifier "single phase rectifier") domainEnglishFormat.kif 53192-53192


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