FoodAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(subclass FoodAttribute SubjectiveAssessmentAttribute)	Dining.kif 1128-1128	Food attribute is a subclass of subjective assessment attribute
(documentation FoodAttribute EnglishLanguage "FoodAttribute are descriptors that apply to Food but are highly subjective")	Dining.kif 1129-1130	Food attribute is a subclass of subjective assessment attribute

appearance as argument number 2

(termFormat EnglishLanguage FoodAttribute "food attribute")	Dining.kif 1131-1131
(instance ComfortFood FoodAttribute)	Dining.kif 1139-1139	Comfort food is an instance of food attribute
(instance HeartHealthyFood FoodAttribute)	Dining.kif 1145-1145	Heart_healthy food is an instance of food attribute
(instance FamilyStylePortion FoodAttribute)	Dining.kif 1161-1161	Family_style portions is an instance of food attribute

antecedent

(=>
    (and
        (attribute ?OBJ ?ATTR)
        (instance ?ATTR FoodAttribute))
    (instance ?OBJ PreparedFood))

If X is an attribute of Y and X is an instance of food attribute, then Y is an instance of food