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 |
appearance as argument number 2 |
(instance ComfortFood FoodAttribute) | Dining.kif 1136-1136 | |
(instance FamilyStylePortion FoodAttribute) | Dining.kif 1158-1158 | |
(instance HeartHealthyFood FoodAttribute) | Dining.kif 1142-1142 | |
(termFormat EnglishLanguage FoodAttribute "food attribute") | Dining.kif 1128-1128 |
antecedent |
(=> (and (attribute ?OBJ ?ATTR) (instance ?ATTR FoodAttribute)) (instance ?OBJ PreparedFood)) |
Dining.kif 1130-1134 |