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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectroplatingPlatingPolishingAnodizingAndColoring

Sigma KEE - ElectroplatingPlatingPolishingAnodizingAndColoring
ElectroplatingPlatingPolishingAnodizingAndColoring(電鍍電鍍拋光陽極氧化和著色)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4522-4526
No TPTP formula. May not be expressible in strict first order. naics.kif 4520-4520 子屬性 電鍍電鍍拋光陽極氧化和著色 and 塗層雕刻熱處理和相關活動

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21780-21780
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21779-21779
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21778-21778


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