FlavourAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(subclass FlavourAttribute TasteAttribute)	Economy.kif 4734-4734	Flavour attribute is a subclass of taste attribute
(documentation FlavourAttribute EnglishLanguage "The subclass of TasteAttributes in addition to the five basic tasts prominent in food.")	Economy.kif 4735-4736	Flavour attribute is a subclass of taste attribute

appearance as argument number 2

(termFormat EnglishLanguage FlavourAttribute "flavour attribute")	Economy.kif 4737-4737
(instance HotFlavour FlavourAttribute)	Economy.kif 4739-4739	Hot flavour is an instance of flavour attribute
(instance CoolingFlavour FlavourAttribute)	Economy.kif 4743-4743	Cooling flavour is an instance of flavour attribute
(instance EarthyFlavour FlavourAttribute)	Economy.kif 4747-4747	Earthy flavour is an instance of flavour attribute
(instance FloralFlavour FlavourAttribute)	Economy.kif 4751-4751	Floral flavour is an instance of flavour attribute
(instance FruityFlavour FlavourAttribute)	Economy.kif 4755-4755	Fruity flavour is an instance of flavour attribute
(instance HerbaceousFlavour FlavourAttribute)	Economy.kif 4759-4759	Herbaceous flavour is an instance of flavour attribute
(instance NuttyFlavour FlavourAttribute)	Economy.kif 4763-4763	Nutty flavour is an instance of flavour attribute
(instance PungentFlavour FlavourAttribute)	Economy.kif 4767-4767	Pungent flavour is an instance of flavour attribute
(instance PineyFlavour FlavourAttribute)	Economy.kif 4772-4772	Piney flavour is an instance of flavour attribute
(instance SpicyFlavour FlavourAttribute)	Economy.kif 4776-4776	Spicy flavour is an instance of flavour attribute
(instance WoodyFlavour FlavourAttribute)	Economy.kif 4780-4780	Woody flavour is an instance of flavour attribute
(instance SulfuryFlavour FlavourAttribute)	Economy.kif 4784-4784	Sulfury flavour is an instance of flavour attribute

consequent

(=>
    (and
        (instance ?P Putting)
        (patient ?P ?S)
        (instance ?S Spice)
        (destination ?P ?F)
        (instance ?F PreparedFood))
    (exists (?C ?A)
        (and
            (instance ?C InternalChange)
            (patient ?C ?F)
            (result ?C ?A)
            (attribute ?F ?A)
            (or
                (instance ?A FlavourAttribute)
                (instance ?A ColorAttribute)))))

If X is an instance of putting, Y is a patient of X, Y is an instance of spice, X ends up at Z, and Z is an instance of food, then there exist W, V such that W is an instance of internal change, Z is a patient of W, V is a result of W, V is an attribute of Z, and V is an instance of flavour attribute or V is an instance of color attribute