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") Mid-level-ontology.kif 12006-12007
(subclass Recording ContentBearingObject) Mid-level-ontology.kif 12005-12005 Recording有内用物体subclass

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


(subclass AudioRecording Recording) Mid-level-ontology.kif 11911-11911 AudioRecordingRecordingsubclass
(subclass MotionPicture Recording) Merge.kif 1421-1421 动态映像Recordingsubclass
(subclass Photograph Recording) Mid-level-ontology.kif 10898-10898 PhotographRecordingsubclass
(subclass VideoRecording Recording) Mid-level-ontology.kif 12051-12051 VideoRecordingRecordingsubclass
(termFormat EnglishLanguage Recording "recording") Mid-level-ontology.kif 12008-12008 termFormat EnglishLanguage, Recording and "recording"

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


(domain albumTrack 1 Recording) Music.kif 341-341 albumTrack 的 1 数量 是 Recordinginstance
(domain produced 2 Recording) Mid-level-ontology.kif 18347-18347 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 411-422
(=>
    (and
        (attribute ?M LiveRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (instance ?P Performance)
            (record ?M ?P))))
Music.kif 381-388
(=>
    (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 429-439
(=>
    (and
        (attribute ?M StudioRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (record ?M ?P)
            (eventLocated ?P ?S)
            (instance ?S RecordingStudio))))
Music.kif 395-403
(=>
    (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 274-281
(=>
    (attribute ?M RecordingAttribute)
    (instance ?M Recording))
Music.kif 372-374
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners