Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Recording

Sigma KEE - Recording
Recording

appearance as argument number 1
-------------------------


(documentation Recording EnglishLanguage "Recording refers to a ContentBearingObject that represents some Process that happened in real life") Merge.kif 1387-1388
(subclass Recording ContentBearingObject) Merge.kif 1386-1386 Recording ist eine teilkategorie von ContentBearingObject

appearance as argument number 2
-------------------------


(subclass AudioRecording Recording) Mid-level-ontology.kif 14294-14294 AudioRecording ist eine teilkategorie von Recording
(subclass MotionPicture Recording) Merge.kif 1391-1391 MotionPicture ist eine teilkategorie von Recording
(subclass Photograph Recording) Mid-level-ontology.kif 13296-13296 Photograph ist eine teilkategorie von Recording
(subclass VideoRecording Recording) Mid-level-ontology.kif 14428-14428 VideoRecording ist eine teilkategorie von Recording
(termFormat EnglishLanguage Recording "recording") Merge.kif 1389-1389

appearance as argument number 3
-------------------------


(domain albumTrack 1 Recording) Music.kif 338-338 Die Zahl 1 Argument von albumTrack ist ein fall von Recording %n{nicht}
(domain produced 2 Recording) Mid-level-ontology.kif 20691-20691 Die Zahl 2 Argument von produced ist ein fall von Recording %n{nicht}
(domain producedOn 1 Recording) Music.kif 93-93 Die Zahl 1 Argument von producedOn ist ein fall von Recording %n{nicht}
(domain recordingCompany 1 Recording) Music.kif 131-131 Die Zahl 1 Argument von recordingCompany ist ein fall von Recording %n{nicht}
(domain recordingLength 1 Recording) Music.kif 113-113 Die Zahl 1 Argument von recordingLength ist ein fall von Recording %n{nicht}

antecedent
-------------------------


(=>
    (and
        (attribute ?M DemoRecording)
        (instance ?M Recording))
    (hasPurpose ?M
        (exists (?D ?G ?MUSIC)
            (and
                (instance ?D Demonstrating)
                (record ?M ?MUSIC)
                (patient ?D ?MUSIC)
                (destination ?D ?G)
                (instance ?G GroupOfPeople)))))
Music.kif 408-419
(=>
    (and
        (attribute ?M LiveRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (instance ?P Performance)
            (record ?M ?P))))
Music.kif 378-385
(=>
    (and
        (attribute ?M MashupRecording)
        (instance ?M Recording))
    (exists (?M1 ?M2 ?S1 ?S2)
        (and
            (musicInterpretation ?M1 ?S1)
            (musicInterpretation ?M2 ?S2)
            (not
                (equal ?S1 ?S2))
            (part ?M1 ?M)
            (part ?M2 ?M))))
Music.kif 426-436
(=>
    (and
        (attribute ?M StudioRecording)
        (instance ?M Recording))
    (exists (?P ?S)
        (and
            (record ?M ?P)
            (eventLocated ?P ?S)
            (instance ?S RecordingStudio))))
Music.kif 392-400
(=>
    (instance ?R Recording)
    (exists (?P)
        (and
            (instance ?P Process)
            (record ?R ?P))))
Mid-level-ontology.kif 14388-14393

consequent
-------------------------


(=>
    (albumArtist ?A ?P)
    (exists (?R ?M)
        (and
            (instance ?R Recording)
            (inList ?R ?A)
            (record ?R ?M)
            (agent ?M ?P))))
Music.kif 280-287
(=>
    (attribute ?M RecordingAttribute)
    (instance ?M Recording))
Music.kif 369-371
(=>
    (instance ?L Album)
    (forall (?X)
        (=>
            (inList ?X ?L)
            (instance ?X Recording))))
Music.kif 53-58
(=>
    (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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners