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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArtificialAndSyntheticFibersAndFilamentsManufacturing

Sigma KEE - ArtificialAndSyntheticFibersAndFilamentsManufacturing
ArtificialAndSyntheticFibersAndFilamentsManufacturing(artificial and synthetic fibers and filaments manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3278-3281
No TPTP formula. May not be expressible in strict first order. naics.kif 3276-3276 Artificial and synthetic fibers and filaments manufacturing is a subattribute of resin synthetic rubber and artificial and synthetic fibers and filaments manufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3283-3283 Cellulosic organic fiber manufacturing is a subattribute of artificial and synthetic fibers and filaments manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3290-3290 Noncellulosic organic fiber manufacturing is a subattribute of artificial and synthetic fibers and filaments manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8520-8520
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8519-8519
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8518-8518


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