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 17650-17651 | |
(subclass TasteAttribute PerceptualAttribute) | Merge.kif 17649-17649 | 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 13595-13602 | |
(=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 17653-17658 |