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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cuisine
Cuisinecuisine, culinary_art

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


(documentation Cuisine EnglishLanguage "Cuisine is an attribute applied to classes of PreparedFood to specify that it is typical of a particular region or culture. Note that it cannot be applied to a single Animal or Plant, even if a particular such entity is endemic to a particular region. It captures not just the reality of a particular combination of ingredients, but also the intent of the preparer to conform to a particular style of food and food preparation.") Dining.kif 1201-1207
(subclass Cuisine RelationalAttribute) Dining.kif 1200-1200 Cuisine is a subclass of relational attribute

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


(instance AfricanCuisine Cuisine) Dining.kif 1223-1223 African Cuisine is an instance of Cuisine
(instance AmericanCuisine Cuisine) Dining.kif 1225-1225 American Cuisine is an instance of Cuisine
(instance AsianCuisine Cuisine) Dining.kif 1215-1215 Asian Cuisine is an instance of Cuisine
(instance AustralianCuisine Cuisine) Dining.kif 1227-1227 Australian Cuisine is an instance of Cuisine
(instance CanadianCuisine Cuisine) Dining.kif 1229-1229 Canadian Cuisine is an instance of Cuisine
(instance CaribbeanCuisine Cuisine) Dining.kif 1217-1217 Caribbean Cuisine is an instance of Cuisine
(instance EuropeanCuisine Cuisine) Dining.kif 1219-1219 European Cuisine is an instance of Cuisine
(instance FusionCuisine Cuisine) Dining.kif 1231-1231 Fusion Cuisine is an instance of Cuisine
(instance HealthFoodCuisine Cuisine) Dining.kif 1235-1235 Health Food Cuisine is an instance of Cuisine
(instance JewishCuisine Cuisine) Dining.kif 1233-1233 Jewish Cuisine is an instance of Cuisine
(instance LatinAmericanCuisine Cuisine) Dining.kif 1221-1221 Latin American Cuisine is an instance of Cuisine

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


(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y Cuisine))
    (instance ?X PreparedFood))
Dining.kif 1209-1213


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners