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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SinglePhaseRectifier

 Sigma KEE - SinglePhaseRectifier
SinglePhaseRectifier(单相整流器)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1012-1013
No TPTP formula. May not be expressible in strict first order. engineering.kif 1014-1014
No TPTP formula. May not be expressible in strict first order. engineering.kif 1015-1015 单相整流器 是 整流器 的 subclass

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1025-1025 桥式单相整流器 是 单相整流器 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 1030-1030 倍频单相整流器 是 单相整流器 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 1020-1020 半波单相整流器 是 单相整流器 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53192-53192
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53191-53191
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53190-53190


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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