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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OfficeFurnitureIncludingFixturesManufacturing

Sigma KEE - OfficeFurnitureIncludingFixturesManufacturing
OfficeFurnitureIncludingFixturesManufacturing(辦公家具包括固定裝置製造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6080-6083
No TPTP formula. May not be expressible in strict first order. naics.kif 6078-6078 子屬性 辦公家具包括固定裝置製造 and 家具及相關產品製造

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6092-6092 子屬性 定制建築木製品和木製品製造 and 辦公家具包括固定裝置製造
No TPTP formula. May not be expressible in strict first order. naics.kif 6100-6100 子屬性 辦公家具除木製品外 and 辦公家具包括固定裝置製造
No TPTP formula. May not be expressible in strict first order. naics.kif 6107-6107 子屬性 展示分區貨架和儲物櫃製造 and 辦公家具包括固定裝置製造
No TPTP formula. May not be expressible in strict first order. naics.kif 6085-6085 子屬性 木製辦公家具製造業 and 辦公家具包括固定裝置製造
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41712-41712
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41711-41711
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41710-41710


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