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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlasticsAndRubberProductsManufacturing

Sigma KEE - PlasticsAndRubberProductsManufacturing
PlasticsAndRubberProductsManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3493-3495
No TPTP formula. May not be expressible in strict first order. naics.kif 3491-3491 PlasticsAndRubberProductsManufacturing e' uma instancia de IndustryAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6149-6149 MiscellaneousManufacturing e' disjunto de PlasticsAndRubberProductsManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3517-3517 PlasticsProductManufacturing e' um sub-atributo de PlasticsAndRubberProductsManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3631-3631 RubberProductManufacturing e' um sub-atributo de PlasticsAndRubberProductsManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46170-46170
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46169-46169
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46168-46168

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 3497-3515


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