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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FoodAttribute

Sigma KEE - FoodAttribute
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


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