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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PorcelainElectricalSupplyManufacturing

Sigma KEE - PorcelainElectricalSupplyManufacturing
PorcelainElectricalSupplyManufacturing(瓷器電源製造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3744-3747
No TPTP formula. May not be expressible in strict first order. naics.kif 3742-3742 子屬性 瓷器電源製造 and 陶瓷陶瓷和水暖具製造

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46693-46693
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46692-46692
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46691-46691


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