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 est une sous-classe de Rectifier

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


(subclass BridgeSinglePhaseRectifier SinglePhaseRectifier) engineering.kif 1025-1025 BridgeSinglePhaseRectifier est une sous-classe de SinglePhaseRectifier
(subclass DoublerSinglePhaseRectifier SinglePhaseRectifier) engineering.kif 1030-1030 DoublerSinglePhaseRectifier est une sous-classe de SinglePhaseRectifier
(subclass HalfWaveSinglePhaseRectifier SinglePhaseRectifier) engineering.kif 1020-1020 HalfWaveSinglePhaseRectifier est une sous-classe de SinglePhaseRectifier
(termFormat ChineseLanguage SinglePhaseRectifier "单相整流器") domainEnglishFormat.kif 53192-53192
(termFormat ChineseTraditionalLanguage SinglePhaseRectifier "單相整流器") domainEnglishFormat.kif 53191-53191
(termFormat EnglishLanguage SinglePhaseRectifier "single phase rectifier") domainEnglishFormat.kif 53190-53190


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