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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Millwork

 Sigma KEE - Millwork
Millwork(木制品)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2650-2652
No TPTP formula. May not be expressible in strict first order. Economy.kif 1776-1776 木制品 是 木材业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 2648-2648 木制品 是 其他木制品制造业 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2661-2661 减少库存重新调整木材和刨削 是 木制品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 2670-2670 其他木制品包括地板 是 木制品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 2654-2654 木门窗制造 是 木制品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37811-37811
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37810-37810
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37809-37809


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