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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PaperBagAndCoatedAndTreatedPaperManufacturing

Sigma KEE - PaperBagAndCoatedAndTreatedPaperManufacturing
PaperBagAndCoatedAndTreatedPaperManufacturing(紙袋和塗層和處理過的紙張製造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2816-2819
No TPTP formula. May not be expressible in strict first order. naics.kif 2814-2814 子屬性 紙袋和塗層和處理過的紙張製造 and 轉換紙製品製造

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2821-2821 子屬性 塗層和層壓包裝紙和塑料薄膜製造 and 紙袋和塗層和處理過的紙張製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2831-2831 子屬性 塗層和層壓紙製造 and 紙袋和塗層和處理過的紙張製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2852-2852 子屬性 用於軟包裝用途的層壓鋁箔製造 and 紙袋和塗層和處理過的紙張製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2838-2838 子屬性 塑料薄膜和塗層紙袋製造 and 紙袋和塗層和處理過的紙張製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2860-2860 子屬性 表面塗層紙板製造 and 紙袋和塗層和處理過的紙張製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2845-2845 子屬性 無塗層紙和多層袋製造 and 紙袋和塗層和處理過的紙張製造
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44298-44298
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44297-44297
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44296-44296


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