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 1386-1387
(subclass Recording ContentBearingObject) Merge.kif 1385-1385 Recording est une sous-classe de objet exprimant un sens

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


(subclass AudioRecording Recording) Mid-level-ontology.kif 14544-14544 AudioRecording est une sous-classe de Recording
(subclass MotionPicture Recording) Merge.kif 1390-1390 Motion picture est une sous-classe de Recording
(subclass Photograph Recording) Mid-level-ontology.kif 13514-13514 Photograph est une sous-classe de Recording
(subclass VideoRecording Recording) Mid-level-ontology.kif 14678-14678 VideoRecording est une sous-classe de Recording
(termFormat EnglishLanguage Recording "recording") Merge.kif 1388-1388 VideoRecording est une sous-classe de Recording

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


(domain albumTrack 1 Recording) Music.kif 338-338 Le nombre 1 argument de albumTrack est une instance de Recording
(domain produced 2 Recording) Mid-level-ontology.kif 20981-20981 Le nombre 2 argument de produced est une instance de Recording
(domain producedOn 1 Recording) Music.kif 93-93 Le nombre 1 argument de producedOn est une instance de Recording
(domain recordingCompany 1 Recording) Music.kif 131-131 Le nombre 1 argument de recordingCompany est une instance de Recording
(domain recordingLength 1 Recording) Music.kif 113-113 Le nombre 1 argument de recordingLength est une instance de Recording

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 14638-14643

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