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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PreparedFoodAttribute
PreparedFoodAttribute(prepared food attribute)

appearance as argument number 1
-------------------------


(documentation PreparedFoodAttribute EnglishLanguage "PreparedFoodAttribute is a Class of RelationalAttributes which describe the status in the food it is related. Members of this class include if the food is cooked or raw, cured/ fermented, caffineated or decaf etc..") Food.kif 18-21
(subclass PreparedFoodAttribute RelationalAttribute) Food.kif 17-17 Prepared food attribute is a subclass of relational attribute

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


(instance CaffeinatedAttribute PreparedFoodAttribute) Food.kif 405-405 Caffeinated is an instance of prepared food attribute
(instance CookedAttribute PreparedFoodAttribute) Food.kif 30-30 Cooked is an instance of prepared food attribute
(instance CuredAttribute PreparedFoodAttribute) Food.kif 63-63 Cured is an instance of prepared food attribute
(instance DecafAttribute PreparedFoodAttribute) Food.kif 420-420 Decaf is an instance of prepared food attribute
(instance DryRoastAttribute PreparedFoodAttribute) Food.kif 107-107 Hulled is an instance of prepared food attribute
(instance FermentedAttribute PreparedFoodAttribute) Food.kif 205-205 Fermented is an instance of prepared food attribute
(instance HulledAttribute PreparedFoodAttribute) Food.kif 153-153 HulledAttribute is an instance of prepared food attribute
(instance RawAttribute PreparedFoodAttribute) Food.kif 46-46 Raw food is an instance of prepared food attribute
(termFormat EnglishLanguage PreparedFoodAttribute "prepared food attribute") Food.kif 22-22 Raw food is an instance of prepared food attribute

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


(=>
    (and
        (instance ?A PreparedFoodAttribute)
        (attribute ?F ?A))
    (instance ?F Food))		 Food.kif 24-28


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



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