RecordingStudio |
appearance as argument number 1 |
(documentation RecordingStudio EnglishLanguage "A RecordingStudio is a StationaryArtifact, such as a Room or Building that has the necessary equipment to professionaly produce a Recording.") | Music.kif 22-24 | |
(subclass RecordingStudio StationaryArtifact) | Music.kif 21-21 | RecordingStudio は 固定アーチファクト の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage RecordingStudio "recording studio") | Music.kif 25-25 |
antecedent |
(=> (instance ?S RecordingStudio) (exists (?D) (and (instance ?D Device) (hasPurpose ?D (exists (?R ?P) (and (instance ?R Recording) (instrument ?P ?D) (result ?P ?R)))) (located ?D ?S)))) |
Music.kif 36-47 | |
(=> (instance ?S RecordingStudio) (hasPurpose ?S (exists (?R ?P) (and (instance ?R Recording) (result ?P ?R) (eventLocated ?P ?S))))) |
Music.kif 27-34 |
consequent |
(=> (and (attribute ?M StudioRecording) (instance ?M Recording)) (exists (?P ?S) (and (record ?M ?P) (eventLocated ?P ?S) (instance ?S RecordingStudio)))) |
Music.kif 392-400 |
|