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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HairNailAndSkinCareServices
HairNailAndSkinCareServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11924-11926
No TPTP formula. May not be expressible in strict first order. naics.kif 11922-11922 HairNailAndSkinCareServices e' um sub-atributo de PersonalCareServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11928-11928 BarberShops e' um sub-atributo de HairNailAndSkinCareServices
No TPTP formula. May not be expressible in strict first order. naics.kif 11948-11948 BeautySalons e' um sub-atributo de HairNailAndSkinCareServices
No TPTP formula. May not be expressible in strict first order. naics.kif 11955-11955 NailSalons e' um sub-atributo de HairNailAndSkinCareServices
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27210-27210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27209-27209
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27208-27208


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