FlavourAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FlavourAttribute EnglishLanguage "The subclass of TasteAttributes in addition to the five basic tasts prominent in food.")	Economy.kif 4402-4403
(subclass FlavourAttribute TasteAttribute)	Economy.kif 4401-4401	FlavourAttribute est une sous-classe de attribut gustatif

appearance as argument number 2

(instance CoolingFlavour FlavourAttribute)	Economy.kif 4410-4410	CoolingFlavour est une instance de FlavourAttribute
(instance EarthyFlavour FlavourAttribute)	Economy.kif 4414-4414	EarthyFlavour est une instance de FlavourAttribute
(instance FloralFlavour FlavourAttribute)	Economy.kif 4418-4418	FloralFlavour est une instance de FlavourAttribute
(instance FruityFlavour FlavourAttribute)	Economy.kif 4422-4422	FruityFlavour est une instance de FlavourAttribute
(instance HerbaceousFlavour FlavourAttribute)	Economy.kif 4426-4426	HerbaceousFlavour est une instance de FlavourAttribute
(instance HotFlavour FlavourAttribute)	Economy.kif 4406-4406	HotFlavour est une instance de FlavourAttribute
(instance NuttyFlavour FlavourAttribute)	Economy.kif 4430-4430	NuttyFlavour est une instance de FlavourAttribute
(instance PineyFlavour FlavourAttribute)	Economy.kif 4439-4439	PineyFlavour est une instance de FlavourAttribute
(instance PungentFlavour FlavourAttribute)	Economy.kif 4434-4434	PungentFlavour est une instance de FlavourAttribute
(instance SpicyFlavour FlavourAttribute)	Economy.kif 4443-4443	SpicyFlavour est une instance de FlavourAttribute
(instance SulfuryFlavour FlavourAttribute)	Economy.kif 4451-4451	SulfuryFlavour est une instance de FlavourAttribute
(instance WoodyFlavour FlavourAttribute)	Economy.kif 4447-4447	WoodyFlavour est une instance de FlavourAttribute
(termFormat EnglishLanguage FlavourAttribute "flavour attribute")	Economy.kif 4404-4404

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

Economy.kif 4384-4399