TreeView Knowledge Base Browser

appearance as argument number 1

(subclass RecordingStudio StationaryArtifact)	Music.kif 21-21	Recording studio is a subclass of stationary artifact
(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	Recording studio is a subclass of stationary artifact

appearance as argument number 2

antecedent

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

consequent

(=>
    (and
        (attribute ?M StudioRecording)
        (instance ?M Recording))
    (exists (?P ?S)
        (and
            (record ?M ?P)
            (eventLocated ?P ?S)
            (instance ?S RecordingStudio))))

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