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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndustrialLaunderers

 Sigma KEE - IndustrialLaunderers
IndustrialLaunderers(industrial launderers)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12028-12030
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11216-11216
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11221-11221
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11220-11220
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11222-11222
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10064-10064
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11215-11215
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11219-11219
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11218-11218
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11214-11214
No TPTP formula. May not be expressible in strict first order. naics.kif 12026-12026 Industrial launderers is a subattribute of linen and uniform supply

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29785-29785
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29784-29784
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29783-29783


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