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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FabricMills
FabricMills(fabric mills)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1989-1991
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8476-8476
No TPTP formula. May not be expressible in strict first order. Economy.kif 1886-1886 Fabric is an industry product type of fabric mills
No TPTP formula. May not be expressible in strict first order. naics.kif 1987-1987 Fabric mills is a subattribute of textile mills

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1993-1993 Broadwoven fabric mills is a subattribute of fabric mills
No TPTP formula. May not be expressible in strict first order. naics.kif 2026-2026 Knit fabric mills is a subattribute of fabric mills
No TPTP formula. May not be expressible in strict first order. naics.kif 1999-1999 Narrow fabric mills and schiffli machine embroidery is a subattribute of fabric mills
No TPTP formula. May not be expressible in strict first order. naics.kif 2020-2020 Nonwoven fabric mills is a subattribute of fabric mills
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23086-23086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23085-23085
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23084-23084


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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