FlavourAttribute(flavour attribute) |
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 | Flavour attribute is a subclass of taste attribute |
appearance as argument number 2 |
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 |
|