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


KB Term:  Term intersection
English Word: 

  BarberShops

 Sigma KEE - BarberShops
BarberShops(barber shops)
beauty_parlor, beauty_parlour, beauty_salon, beauty_shop, salon

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


(subAttribute BarberShops HairNailAndSkinCareServices) naics.kif 11925-11925 Barber shops is a subattribute of hair nail and skin care services
(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 11927-11929 Barber shops is a subattribute of hair nail and skin care services
(externalImage BarberShops "http://upload.wikimedia.org/wikipedia/commons/ 6/ 60/ White_Center_Rozella_barber_shop.jpg") pictureList.kif 4530-4530 Barber shops is a subattribute of hair nail and skin care services

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


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

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 11931-11943 If barber shops is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of hair (3) Y is a part of Z (4) Z is an instance of human (5) W is an instance of cutting (6) Y is a patient of W (7) W is located at X (8) V is an agent of W (9) X employs V


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners