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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 53586-53586
(termFormat ChineseTraditionalLanguage SnackAndNonalcoholicBeverageBars "小吃和非酒精飲料吧檯") domainEnglishFormat.kif 53585-53585
(termFormat EnglishLanguage SnackAndNonalcoholicBeverageBars "snack and nonalcoholic beverage bars") domainEnglishFormat.kif 53584-53584

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 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