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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FurnitureAndRelatedProductManufacturing

 Sigma KEE - FurnitureAndRelatedProductManufacturing
FurnitureAndRelatedProductManufacturing(家具及相關產品製造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5990-5992
No TPTP formula. May not be expressible in strict first order. naics.kif 5988-5988 例 家具及相關產品製造 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 1752-1752 子屬性 家具及相關產品製造 and 家具業

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6141-6141 不相交的 雜項製造業 and 家具及相關產品製造
No TPTP formula. May not be expressible in strict first order. Economy.kif 1755-1755 子屬性 家具製造業 and 家具及相關產品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 6012-6012 子屬性 家庭和機構家具和廚櫃製造 and 家具及相關產品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 6078-6078 子屬性 辦公家具包括固定裝置製造 and 家具及相關產品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 6115-6115 子屬性 其他家具相關產品製造 and 家具及相關產品製造
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25268-25268
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25267-25267
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25266-25266

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 5994-6010


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