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 1335-1336
(subclass Recording ContentBearingObject) Merge.kif 1334-1334 Recording有内用物体subclass

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


(subclass AudioRecording Recording) Mid-level-ontology.kif 13813-13813 录音Recordingsubclass
(subclass MotionPicture Recording) Merge.kif 1339-1339 动态映像Recordingsubclass
(subclass Photograph Recording) Mid-level-ontology.kif 12816-12816 照片Recordingsubclass
(subclass VideoRecording Recording) Mid-level-ontology.kif 13947-13947 视频录制Recordingsubclass
(termFormat EnglishLanguage Recording "recording") Merge.kif 1337-1337

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


(domain albumTrack 1 Recording) Music.kif 337-337 albumTrack 的 1 数量 是 Recordinginstance
(domain produced 2 Recording) Mid-level-ontology.kif 20095-20095 produced 的 2 数量 是 Recordinginstance
(domain producedOn 1 Recording) Music.kif 93-93 producedOn 的 1 数量 是 Recordinginstance
(domain recordingCompany 1 Recording) Music.kif 131-131 recordingCompany 的 1 数量 是 Recordinginstance
(domain recordingLength 1 Recording) Music.kif 113-113 recordingLength 的 1 数量 是 Recordinginstance

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 407-418
(=>
    (and
        (attribute ?M LiveRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (instance ?P Performance)
            (record ?M ?P))))
Music.kif 377-384
(=>
    (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 425-435
(=>
    (and
        (attribute ?M StudioRecording)
        (instance ?M Recording))
    (exists (?P ?S)
        (and
            (record ?M ?P)
            (eventLocated ?P ?S)
            (instance ?S RecordingStudio))))
Music.kif 391-399
(=>
    (instance ?R Recording)
    (exists (?P)
        (and
            (instance ?P Process)
            (record ?R ?P))))
Mid-level-ontology.kif 13907-13912

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


(=>
    (albumArtist ?A ?P)
    (exists (?R ?M)
        (and
            (instance ?R Recording)
            (inList ?R ?A)
            (record ?R ?M)
            (agent ?M ?P))))
Music.kif 279-286
(=>
    (attribute ?M RecordingAttribute)
    (instance ?M Recording))
Music.kif 368-370
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners