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 家具及相关产品制造 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1752-1752 家具及相关产品制造 是 家具业 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6141-6141 杂项制造业 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Economy.kif 1755-1755 家具制造业 是 家具及相关产品制造 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6012-6012 家庭和机构家具和厨柜制造 是 家具及相关产品制造 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6078-6078 办公家具包括固定装置制造 是 家具及相关产品制造 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6115-6115 其他家具相关产品制造 是 家具及相关产品制造 的 subAttribute
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