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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - SnackAndNonalcoholicBeverageBars

appearance as argument number 1

(documentation SnackAndNonalcoholicBeverageBars EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Snack and Nonalcoholic Beverage Bars or Eating Places (snack and nonalcoholic beverage bars).") naics.kif 11663-11666
(subAttribute SnackAndNonalcoholicBeverageBars LimitedServiceEatingPlaces) naics.kif 11661-11661

appearance as argument number 2

(termFormat ChineseLanguage SnackAndNonalcoholicBeverageBars "小吃和非酒精饮料吧台") domainEnglishFormat.kif 53529-53529
(termFormat ChineseTraditionalLanguage SnackAndNonalcoholicBeverageBars "小吃和非酒精飲料吧檯") domainEnglishFormat.kif 53528-53528
(termFormat EnglishLanguage SnackAndNonalcoholicBeverageBars "snack and nonalcoholic beverage bars") domainEnglishFormat.kif 53527-53527


    (attribute ?X SnackAndNonalcoholicBeverageBars)
    (hasPurpose ?X
        (exists (?SELL ?FOOD)
                (instance ?FOOD
                    (FoodForFn Human))
                (instance ?SELL Selling)
                (patient ?SELL ?FOOD)
                (agent ?SELL ?X)))))
naics.kif 11668-11676

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