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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArtificialAndSyntheticFibersAndFilamentsManufacturing

Sigma KEE - ArtificialAndSyntheticFibersAndFilamentsManufacturing
ArtificialAndSyntheticFibersAndFilamentsManufacturing(人造和合成纤维和丝物的制造)

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 人造和合成纤维和丝物的制造树脂合成橡胶和人造及合成纤维和长丝的制造subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3283-3283 纤维素有机纤维制造人造和合成纤维和丝物的制造subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3290-3290 非纤维素有机纤维制造人造和合成纤维和丝物的制造subAttribute
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