TreeView Knowledge Base Browser

appearance as argument number 1

(subclass CookingClass EducationalProcess)

appearance as argument number 2

(subclass BreadMakingClass CookingClass)	Offers.kif 266-266	BreadMakingClass is a subclass of CookingClass
(subclass ChocolateMakingClass CookingClass)	Offers.kif 279-279	ChocolateMakingClass is a subclass of CookingClass
(subclass DessertMakingClass CookingClass)	Offers.kif 280-280	DessertMakingClass is a subclass of CookingClass
(range LessonOnCookingFoodFn CookingClass)	Offers.kif 294-294	The range of LessonOnCookingFoodFn is an instance of CookingClass

antecedent

(=>
    (instance ?CLASS CookingClass)
    (exists (?PROC)
        (and
            (instance ?PROC Cooking)
            (subProcess ?PROC ?CLASS))))

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