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 VeneerPlywoodAndEngineeredWoodProductManufacturing e' um sub-atributo de WoodProductManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2622-2622 EngineeredWoodMemberExceptTrussManufacturing e' um sub-atributo de VeneerPlywoodAndEngineeredWoodProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2608-2608 HardwoodVeneerAndPlywoodManufacturing e' um sub-atributo de VeneerPlywoodAndEngineeredWoodProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2635-2635 ReconstitutedWoodProductManufacturing e' um sub-atributo de VeneerPlywoodAndEngineeredWoodProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2615-2615 SoftwoodVeneerAndPlywoodManufacturing e' um sub-atributo de VeneerPlywoodAndEngineeredWoodProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2629-2629 TrussManufacturing e' um sub-atributo de VeneerPlywoodAndEngineeredWoodProductManufacturing
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