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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ConvertedPaperProductManufacturing

Sigma KEE - ConvertedPaperProductManufacturing
ConvertedPaperProductManufacturing(轉換紙製品製造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2769-2771
No TPTP formula. May not be expressible in strict first order. naics.kif 2767-2767 子屬性 轉換紙製品製造 and 造紙業

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2895-2895 子屬性 其他轉換紙製品製造 and 轉換紙製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2814-2814 子屬性 紙袋和塗層和處理過的紙張製造 and 轉換紙製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2773-2773 子屬性 紙板容器製造 and 轉換紙製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2868-2868 子屬性 文具產品製造 and 轉換紙製品製造
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17124-17124
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17123-17123
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17122-17122


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