TreeView Knowledge Base Browser

appearance as argument number 1

(instance CookedAttribute PreparedFoodAttribute)	Food.kif 30-30	Cooked is an instance of prepared food attribute
(relatedInternalConcept CookedAttribute RawAttribute)	Food.kif 31-31	Cooked is internally related to raw food
(documentation CookedAttribute EnglishLanguage "CookedAttribute describes how something is a product of Cooking and Heating.")	Food.kif 32-33	Cooked is internally related to raw food

appearance as argument number 2

(termFormat EnglishLanguage CookedAttribute "cooked")

antecedent

(=>
    (attribute ?FOOD CookedAttribute)
    (exists (?PROC1 ?PROC2)
        (and
            (instance ?PROC1 Cooking)
            (instance ?PROC2 Heating)
            (subProcess ?PROC2 ?PROC1)
            (result ?PROC1 ?FOOD))))

If cooked is an attribute of X, then there exist Y, Z such that Y is an instance of cooking, Z is an instance of heating, Z is a subprocess of Y, and X is a result of Y

consequent

(=> (instance ?CG CoffeeGrind) (exists (?G ?CB) (and (instance ?G Grinding) (patient ?G ?CB) (instance ?CB CoffeeBean) (attribute ?CB CookedAttribute) (result ?G ?CG))))	Food.kif 1012-1020	If X is an instance of coffee grind, then there exist Y, Z such that Y is an instance of grinding, Z is a patient of Y, Z is an instance of coffee bean, cooked is an attribute of Z, and X is a result of Y
(=> (instance ?CG CoffeeGrind) (attribute ?CG CookedAttribute))	Food.kif 1032-1034	If X is an instance of coffee grind, then cooked is an attribute of X
(=> (instance ?X BreadOrBiscuit) (attribute ?X CookedAttribute))	Food.kif 1547-1549	If X is an instance of bread or biscuit, then cooked is an attribute of X
(=> (instance ?J Jam) (attribute ?J CookedAttribute))	Food.kif 1769-1771	If X is an instance of jam, then cooked is an attribute of X