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 子類 FoodAttribute and SubjectiveAssessmentAttribute

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


(instance ComfortFood FoodAttribute) Dining.kif 1136-1136 ComfortFood and FoodAttribute
(instance FamilyStylePortion FoodAttribute) Dining.kif 1158-1158 FamilyStylePortion and FoodAttribute
(instance HeartHealthyFood FoodAttribute) Dining.kif 1142-1142 HeartHealthyFood and FoodAttribute
(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