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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectronicCapacitorManufacturing

Sigma KEE - ElectronicCapacitorManufacturing
ElectronicCapacitorManufacturing(電子電容器製造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5251-5254
No TPTP formula. May not be expressible in strict first order. naics.kif 5249-5249 子屬性 電子電容器製造 and 半導體和其他電子元件製造

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21696-21696
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21695-21695
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21694-21694


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