Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ClassOnAcademicFieldFn |
| 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 |
|