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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SnackAndNonalcoholicBeverageBars

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

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