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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1273-1274
(subclass Recording ContentBearingObject) Merge.kif 1272-1272

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


(subclass AudioRecording Recording) Mid-level-ontology.kif 11916-11916
(subclass MotionPicture Recording) Merge.kif 1277-1277
(subclass Photograph Recording) Mid-level-ontology.kif 10903-10903
(subclass VideoRecording Recording) Mid-level-ontology.kif 12050-12050
(termFormat EnglishLanguage Recording "recording") Merge.kif 1275-1275

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


(domain albumTrack 1 Recording) Music.kif 335-335
(domain produced 2 Recording) Mid-level-ontology.kif 18348-18348
(domain producedOn 1 Recording) Music.kif 93-93
(domain recordingCompany 1 Recording) Music.kif 131-131
(domain recordingLength 1 Recording) Music.kif 113-113

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 405-416
(=>
    (and
        (attribute ?M LiveRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (instance ?P Performance)
            (record ?M ?P))))
Music.kif 375-382
(=>
    (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 423-433
(=>
    (and
        (attribute ?M StudioRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (record ?M ?P)
            (eventLocated ?P ?S)
            (instance ?S RecordingStudio))))
Music.kif 389-397
(=>
    (instance ?R Recording)
    (exists (?P)
        (and
            (instance ?P Process)
            (record ?R ?P))))
Mid-level-ontology.kif 12010-12015

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


(=>
    (albumArtist ?A ?P)
    (exists (?R ?M)
        (and
            (instance ?R Recording)
            (inList ?R ?A)
            (record ?R ?M)
            (agent ?M ?P))))
Music.kif 277-284
(=>
    (attribute ?M RecordingAttribute)
    (instance ?M Recording))
Music.kif 366-368
(=>
    (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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners