appearance as argument number 1

(documentation ClassOnAcademicFieldFn EnglishLanguage "A unary function that, when given a ?FIELDOFSTUFY will return an instance of class associated with that field of study, e.g. (ClassOnAcademicFieldFn Astronomy), is an instance of an LearningClass on Astronomy.")	Offers.kif 100-100
(domain ClassOnAcademicFieldFn 1 Sport)	Offers.kif 101-101	The number 1 argument of ClassOnAcademicFieldFn is an instance of sport
(instance ClassOnAcademicFieldFn UnaryFunction)	Offers.kif 102-102	ClassOnAcademicFieldFn is an instance of unary function
(range ClassOnAcademicFieldFn LearningClass)	Offers.kif 103-103	The range of ClassOnAcademicFieldFn is an instance of LearningClass

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