|
|
  CurrencyFn
|
|
|
| appearance as argument number 1 |
|
|
| (documentation LiveRecording EnglishLanguage "LiveRecording refers to a MusicRecording that was captured directly from a Performance") | Music.kif 374-375 | |
| (instance LiveRecording RecordingAttribute) | Music.kif 373-373 | LiveRecording est une instance de RecordingAttribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LiveRecording "live recording") | Music.kif 376-376 |
| antecedent |
|
|
| (=> (and (attribute ?M LiveRecording) (instance ?M Recording)) (exists (?P) (and (instance ?P Performance) (record ?M ?P)))) |
Music.kif 378-385 |
|
|
|
|