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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricalCircuit

 Sigma KEE - ElectricalCircuit
ElectricalCircuit(电路)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 982-983
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9170-9170
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8466-8466
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9171-9171
No TPTP formula. May not be expressible in strict first order. engineering.kif 984-984 电路 是 电器 的 subclass

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 990-990 放大器 是 电路 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 995-995 频率滤波器 是 电路 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 1044-1044 运算放大器 是 电路 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 1010-1010 整流器 是 电路 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21468-21468
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21467-21467
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21466-21466


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