RecordingStudio - Sigma Knowledge base Browser

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	Recording studio is a subclass of stationary artifact

appearance as argument number 2

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	If an object is an instance of recording studio, then there exists a physical such that the physical is an instance of device and the physical has the purpose there exist an entity and another entity such that the entity is an instance of recording and the physical is an instrument for the other entity and the entity is a result of the other entity and the physical is located at the object
(=> (instance ?S RecordingStudio) (hasPurpose ?S (exists (?R ?P) (and (instance ?R Recording) (result ?P ?R) (eventLocated ?P ?S)))))	Music.kif 27-34	If a physical is an instance of recording studio, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of recording and the entity is a result of the other entity and the other entity is located at the physical

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