Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BigBandMusic(big band music) |
| appearance as argument number 1 |
|
| (instance BigBandMusic MusicGenre) | Music.kif 603-603 | Big band music is an instance of music genre |
| (documentation BigBandMusic EnglishLanguage "BigBandMusic refers to music by large orchestras that play a form of swing music.") | Music.kif 604-605 | Big band music is an instance of music genre |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BigBandMusic "big band music") | Music.kif 606-606 |
|