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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NailSalons

 Sigma KEE - NailSalons
NailSalons(nail salons)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11957-11959
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11486-11486
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10140-10140
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11483-11483
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11487-11487
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11489-11489
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11488-11488
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11485-11485
No TPTP formula. May not be expressible in strict first order. naics.kif 11955-11955 Nail salons is a subattribute of hair nail and skin care services

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39627-39627
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39626-39626
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39625-39625


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