invadingVirus
|
|
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 e' uma sub-classe de Atributo Gustativo |
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 |
|