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 17707-17708 | |
(subclass TasteAttribute PerceptualAttribute) | Merge.kif 17706-17706 | Attribut gustatif est une sous-classe de attribute de perception |
appearance as argument number 2 |
consequent |
(=> (and (instance ?TASTE Tasting) (patient ?TASTE ?OBJ)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 13619-13626 | |
(=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 17710-17715 |