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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BarberShops
BarberShops

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


(documentation BarberShops EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Barber Shops or Barber Shops (except barber colleges).") naics.kif 11930-11932
(externalImage BarberShops "http://upload.wikimedia.org/wikipedia/commons/ 6/ 60/ White_Center_Rozella_barber_shop.jpg") pictureList.kif 4531-4531
(subAttribute BarberShops HairNailAndSkinCareServices) naics.kif 11928-11928

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


(termFormat ChineseLanguage BarberShops "理发店") domainEnglishFormat.kif 9894-9894
(termFormat ChineseTraditionalLanguage BarberShops "理髮店") domainEnglishFormat.kif 9893-9893
(termFormat EnglishLanguage BarberShops "barber shops") domainEnglishFormat.kif 9892-9892

antecedent
-------------------------


(=>
    (attribute ?X BarberShops)
    (hasPurpose ?X
        (exists (?HAIR ?HUMAN ?CUT ?STYLIST)
            (and
                (instance ?HAIR Hair)
                (part ?HAIR ?HUMAN)
                (instance ?HUMAN Human)
                (instance ?CUT Cutting)
                (patient ?CUT ?HAIR)
                (eventLocated ?CUT ?X)
                (agent ?CUT ?STYLIST)
                (employs ?X ?STYLIST)))))
naics.kif 11934-11946


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