TreeView Knowledge Base Browser

appearance as argument number 1

(subclass LearningClass LearningMeeting)	Offers.kif 35-35	LearningClass is a subclass of LearningMeeting
(subclass LearningClass EducationalProcess)	Offers.kif 60-60	LearningClass is a subclass of educational process

appearance as argument number 2

(range ClassOnAcademicFieldFn LearningClass)	Offers.kif 103-103	The range of ClassOnAcademicFieldFn is an instance of LearningClass
(range ClassOnLanguageFn LearningClass)	Offers.kif 112-112	The range of ClassOnLanguageFn is an instance of LearningClass

antecedent

(=>
    (instance ?CLASS LearningClass)
    (exists (?MEET ?LEARN)
        (and
            (instance ?MEET LearningMeeting)
            (instance ?LEARN Learning))))

If X is an instance of LearningClass, then there exist Y, Z such that Y is an instance of LearningMeeting, and Z is an instance of learning