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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SnackAndNonalcoholicBeverageBars

Sigma KEE - SnackAndNonalcoholicBeverageBars
SnackAndNonalcoholicBeverageBars(snack and nonalcoholic beverage bars)

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 Snack and nonalcoholic beverage bars is a subattribute of limited service eating places

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

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


(=>
    (attribute ?X SnackAndNonalcoholicBeverageBars)
    (hasPurpose ?X
        (exists (?SELL ?FOOD)
            (and
                (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