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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PaperboardContainerManufacturing

Sigma KEE - PaperboardContainerManufacturing
PaperboardContainerManufacturing(紙板容器製造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2775-2777
No TPTP formula. May not be expressible in strict first order. naics.kif 2773-2773 子屬性 紙板容器製造 and 轉換紙製品製造

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2779-2779 子屬性 瓦楞紙板和實心纖維箱製造 and 紙板容器製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2800-2800 子屬性 纖維管筒和類似產品製造 and 紙板容器製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2786-2786 子屬性 折疊紙板箱製造 and 紙板容器製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2807-2807 子屬性 非摺疊衛生食品容器製造 and 紙板容器製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2793-2793 子屬性 設置紙板箱製造 and 紙板容器製造
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44304-44304
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44303-44303
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44302-44302


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