|
|
   TasteAttribute
|
|
|
| appearance as argument number 1 |
|
|
| (documentation TasteAttribute ChineseLanguage "这是关于 Object 味道 Attribute 的 Class。") | chinese_format.kif 3937-3938 | |
| (documentation TasteAttribute EnglishLanguage "The Class of Attributes relating to the taste of Objects.") | Merge.kif 17359-17360 | |
| (subclass TasteAttribute PerceptualAttribute) | Merge.kif 17358-17358 |
| appearance as argument number 2 |
|
|
| (instance Bitterness TasteAttribute) | Food.kif 422-422 | |
| (instance Saltiness TasteAttribute) | Food.kif 430-430 | |
| (instance Sourness TasteAttribute) | Food.kif 426-426 | |
| (instance Sweetness TasteAttribute) | Food.kif 418-418 | |
| (instance UmamiTaste TasteAttribute) | Food.kif 434-434 | |
| (termFormat ChineseLanguage TasteAttribute "味觉属性") | chinese_format.kif 1249-1249 | |
| (termFormat EnglishLanguage TasteAttribute "taste attribute") | english_format.kif 1719-1719 |
| consequent |
|
|
| (=> (and (instance ?TASTE Tasting) (patient ?TASTE ?OBJ)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 13327-13334 | |
| (=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 17362-17367 |
|
|
|