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 1382-1383
(subclass Recording ContentBearingObject) Merge.kif 1381-1381 Recording は コンテンツベアリングオブジェクト の subclass では

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


(subclass AudioRecording Recording) Mid-level-ontology.kif 15665-15665 AudioRecording は Recording の subclass では
(subclass MotionPicture Recording) Merge.kif 1386-1386 映画 は Recording の subclass では
(subclass Photograph Recording) Mid-level-ontology.kif 14635-14635 Photograph は Recording の subclass では
(subclass VideoRecording Recording) Mid-level-ontology.kif 15799-15799 VideoRecording は Recording の subclass では
(termFormat EnglishLanguage Recording "recording") Merge.kif 1384-1384 VideoRecording は Recording の subclass では

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


(domain albumTrack 1 Recording) Music.kif 338-338 albumTrack の数値 1 引数は Recording の instance では
(domain produced 2 Recording) Mid-level-ontology.kif 22308-22308 produced の数値 2 引数は Recording の instance では
(domain producedOn 1 Recording) Music.kif 93-93 producedOn の数値 1 引数は Recording の instance では
(domain recordingCompany 1 Recording) Music.kif 131-131 recordingCompany の数値 1 引数は Recording の instance では
(domain recordingLength 1 Recording) Music.kif 113-113 recordingLength の数値 1 引数は Recording の instance では

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 410-421
(=>
    (and
        (attribute ?M LiveRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (instance ?P Performance)
            (record ?M ?P))))		 Music.kif 380-387
(=>
    (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 428-438
(=>
    (and
        (attribute ?M StudioRecording)
        (instance ?M Recording))
    (exists (?P ?S)
        (and
            (record ?M ?P)
            (eventLocated ?P ?S)
            (instance ?S RecordingStudio))))		 Music.kif 394-402
(=>
    (instance ?R Recording)
    (exists (?P)
        (and
            (instance ?P Process)
            (record ?R ?P))))		 Mid-level-ontology.kif 15759-15764

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 371-373
(=>
    (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