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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MetalHeatTreating

 Sigma KEE - MetalHeatTreating
MetalHeatTreating(金属热处理)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4506-4508
No TPTP formula. May not be expressible in strict first order. naics.kif 4504-4504 金属热处理 是 涂层雕刻热处理和相关活动 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37253-37253
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37252-37252
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37251-37251


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