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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BlindAndShadeManufacturing

Sigma KEE - BlindAndShadeManufacturing
BlindAndShadeManufacturing(blind and shade manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6130-6133
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10528-10528
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9910-9910
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10527-10527
No TPTP formula. May not be expressible in strict first order. naics.kif 6128-6128 Blind and shade manufacturing is a subattribute of other furniture related product manufacturing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11321-11321
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11320-11320
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11319-11319


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