Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LessonOnInstrumentFn |
| appearance as argument number 1 |
|
| (documentation LessonOnInstrumentFn EnglishLanguage "A unary function that, when given a musical ?INSTRUMENT will return an instance of class associated with learning that instrument, e.g. (LessonOnInstrumentFn Piano), is an instance of an EducationalProcess on learning to play the Piano.") | Offers.kif 198-198 | |
| (domain LessonOnInstrumentFn 1 MusicalInstrument) | Offers.kif 199-199 | The number 1 argument of LessonOnInstrumentFn is an instance of musical instrument |
| (instance LessonOnInstrumentFn UnaryFunction) | Offers.kif 200-200 | LessonOnInstrumentFn is an instance of unary function |
| (range LessonOnInstrumentFn EducationalProcess) | Offers.kif 201-201 | The range of LessonOnInstrumentFn is an instance of educational process |
|