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 est un sous-attribut de WoodProductManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2622-2622 EngineeredWoodMemberExceptTrussManufacturing est un sous-attribut de VeneerPlywoodAndEngineeredWoodProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2608-2608 HardwoodVeneerAndPlywoodManufacturing est un sous-attribut de VeneerPlywoodAndEngineeredWoodProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2635-2635 ReconstitutedWoodProductManufacturing est un sous-attribut de VeneerPlywoodAndEngineeredWoodProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2615-2615 SoftwoodVeneerAndPlywoodManufacturing est un sous-attribut de VeneerPlywoodAndEngineeredWoodProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2629-2629 TrussManufacturing est un sous-attribut de VeneerPlywoodAndEngineeredWoodProductManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61480-61480
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61479-61479
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61478-61478


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