FoodAttribute |
appearance as argument number 1 |
(documentation FoodAttribute EnglishLanguage "FoodAttribute are descriptors that apply to Food but are highly subjective") | Dining.kif 1126-1127 | |
(subclass FoodAttribute SubjectiveAssessmentAttribute) | Dining.kif 1125-1125 | FoodAttribute 是 主观评价属性 的 subclass |
appearance as argument number 2 |
(instance ComfortFood FoodAttribute) | Dining.kif 1136-1136 | ComfortFood 是 FoodAttribute 的 instance |
(instance FamilyStylePortion FoodAttribute) | Dining.kif 1158-1158 | FamilyStylePortion 是 FoodAttribute 的 instance |
(instance HeartHealthyFood FoodAttribute) | Dining.kif 1142-1142 | HeartHealthyFood 是 FoodAttribute 的 instance |
(termFormat EnglishLanguage FoodAttribute "food attribute") | Dining.kif 1128-1128 |
antecedent |
(=> (and (attribute ?OBJ ?ATTR) (instance ?ATTR FoodAttribute)) (instance ?OBJ PreparedFood)) |
Dining.kif 1130-1134 |