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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VeneerPlywoodAndEngineeredWoodProductManufacturing

Sigma KEE - VeneerPlywoodAndEngineeredWoodProductManufacturing
VeneerPlywoodAndEngineeredWoodProductManufacturing(膠合板和工程木製品製造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2603-2606
No TPTP formula. May not be expressible in strict first order. naics.kif 2601-2601 子屬性 膠合板和工程木製品製造 and 木製品製造業

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2622-2622 子屬性 除桁架製造外的工程木構件 and 膠合板和工程木製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2608-2608 子屬性 硬木單板和膠合板製造 and 膠合板和工程木製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2635-2635 子屬性 再生木製品製造 and 膠合板和工程木製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2615-2615 子屬性 軟木貼面和膠合板製造 and 膠合板和工程木製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 2629-2629 子屬性 桁架製造 and 膠合板和工程木製品製造
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61478-61478
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61477-61477
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61476-61476


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