LessonOnCookingFoodFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation LessonOnCookingFoodFn EnglishLanguage "A unary function that, when given a prepared food ?FOOD will return an instance of class associated with learning to make that food, e.g. (LessonOnCookingFoodFn Gnocchi), is an instance of an EducationalProcess on learning how to make Gnocchi.")	Offers.kif 290-291
(domain LessonOnCookingFoodFn 1 PreparedFood)	Offers.kif 292-292	The number 1 argument of LessonOnCookingFoodFn is an instance of food
(instance LessonOnCookingFoodFn UnaryFunction)	Offers.kif 293-293	LessonOnCookingFoodFn is an instance of unary function
(range LessonOnCookingFoodFn CookingClass)	Offers.kif 294-294	The range of LessonOnCookingFoodFn is an instance of CookingClass

antecedent

(=>
    (instance ?CLASS
        (LessonOnCookingFoodFn ?FOOD))
    (exists (?PROC)
        (and
            (instance ?PROC Cooking)
            (result ?PROC ?FOOD)
            (subProcess ?PROC ?CLASS))))

If X is an instance of LessonOnCookingFoodFn Y, then there exists Z such that Z is an instance of cooking, Y is a result of Z, and Z is a subprocess of X