Cuisine - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Cuisine RelationalAttribute)	Dining.kif 1256-1256	Cuisine is a subclass of relational attribute
(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 1257-1263	Cuisine is a subclass of relational attribute

appearance as argument number 2

(instance AsianCuisine Cuisine)	Dining.kif 1271-1271	Asian Cuisine is an instance of cuisine
(instance CaribbeanCuisine Cuisine)	Dining.kif 1273-1273	Caribbean Cuisine is an instance of cuisine
(instance EuropeanCuisine Cuisine)	Dining.kif 1275-1275	European Cuisine is an instance of cuisine
(instance LatinAmericanCuisine Cuisine)	Dining.kif 1277-1277	Latin American Cuisine is an instance of cuisine
(instance AfricanCuisine Cuisine)	Dining.kif 1279-1279	African Cuisine is an instance of cuisine
(instance AmericanCuisine Cuisine)	Dining.kif 1281-1281	American Cuisine is an instance of cuisine
(instance AustralianCuisine Cuisine)	Dining.kif 1283-1283	Australian Cuisine is an instance of cuisine
(instance CanadianCuisine Cuisine)	Dining.kif 1285-1285	Canadian Cuisine is an instance of cuisine
(instance FusionCuisine Cuisine)	Dining.kif 1287-1287	Fusion Cuisine is an instance of cuisine
(instance JewishCuisine Cuisine)	Dining.kif 1289-1289	Jewish Cuisine is an instance of cuisine
(instance HealthFoodCuisine Cuisine)	Dining.kif 1291-1291	Health Food Cuisine is an instance of cuisine
(termFormat EnglishLanguage Cuisine "cuisine")	domainEnglishFormat.kif 64727-64727	Health Food Cuisine is an instance of cuisine

antecedent

(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y Cuisine))
    (instance ?X PreparedFood))

If X is an attribute of Y and X is an instance of cuisine, then Y is an instance of food