Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FoodAttribute

Sigma KEE - FoodAttribute
FoodAttribute(food attribute)

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 Food attribute is a subclass of subjective assessment attribute

appearance as argument number 2
-------------------------


(instance ComfortFood FoodAttribute) Dining.kif 1136-1136 Comfort food is an instance of food attribute
(instance FamilyStylePortion FoodAttribute) Dining.kif 1158-1158 Family-style portions is an instance of food attribute
(instance HeartHealthyFood FoodAttribute) Dining.kif 1142-1142 Heart-healthy food is an instance of food attribute
(termFormat EnglishLanguage FoodAttribute "food attribute") Dining.kif 1128-1128

antecedent
-------------------------


(=>
    (and
        (attribute ?OBJ ?ATTR)
        (instance ?ATTR FoodAttribute))
    (instance ?OBJ PreparedFood))
Dining.kif 1130-1134


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners