Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  StudioRecording
|
|
|
| appearance as argument number 1 |
|
|
| (instance StudioRecording RecordingAttribute) | Music.kif 389-389 | Studio recording is an instance of recording attribute |
| (documentation StudioRecording EnglishLanguage "StudioRecording refers to a MusicRecording that was captured from sessions in a recording studio.") | Music.kif 390-391 | Studio recording is an instance of recording attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage StudioRecording "studio recording") | Music.kif 392-392 |
| antecedent |
|
|
| (=> (and (attribute ?M StudioRecording) (instance ?M Recording)) (exists (?P ?S) (and (record ?M ?P) (eventLocated ?P ?S) (instance ?S RecordingStudio)))) |
Music.kif 394-402 | If studio recording is an attribute of X and X is an instance of recording, then there exist Y, Z such that X is a record of Y, Y is located at Z, and Z is an instance of recording studio |
|