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 4517-4518 | |
(subclass FlavourAttribute TasteAttribute) | Economy.kif 4516-4516 | 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 4499-4514 |
|