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


KB Term:  Term intersection
English Word: 

Sigma KEE - Recording
Recording(recording)master, master_copy, mastering, original, recording, tape, tape_recording, taping, transcription

appearance as argument number 1
-------------------------


(subclass Recording ContentBearingObject) Merge.kif 1421-1421 Recording is a subclass of content bearing object
(documentation Recording EnglishLanguage "Recording refers to a ContentBearingObject that represents some Process that happened in real life") Merge.kif 1422-1423 Recording is a subclass of content bearing object

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


(termFormat EnglishLanguage Recording "recording") Merge.kif 1424-1424
(subclass MotionPicture Recording) Merge.kif 1426-1426 Motion picture is a subclass of recording
(subclass Photograph Recording) Mid-level-ontology.kif 14764-14764 Photograph is a subclass of recording
(subclass AudioRecording Recording) Mid-level-ontology.kif 15792-15792 Audio recording is a subclass of recording
(subclass VideoRecording Recording) Mid-level-ontology.kif 15927-15927 Video recording is a subclass of recording

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


(domain produced 2 Recording) Mid-level-ontology.kif 22970-22970 The number 2 argument of produced is an instance of recording
(domain producedOn 1 Recording) Music.kif 93-93 The number 1 argument of produced on is an instance of recording
(domain recordingLength 1 Recording) Music.kif 113-113 The number 1 argument of recording length is an instance of recording
(domain recordingCompany 1 Recording) Music.kif 131-131 The number 1 argument of recording company is an instance of recording
(domain albumTrack 1 Recording) Music.kif 338-338 The number 1 argument of album track is an instance of recording

antecedent
-------------------------


(=>
    (instance ?R Recording)
    (exists (?P)
        (and
            (instance ?P Process)
            (record ?R ?P))))		 Mid-level-ontology.kif 15887-15892 If X is an instance of recording, then there exists Y such that Y is an instance of process and X is a record of Y
(=>
    (and
        (attribute ?M LiveRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (instance ?P Performance)
            (record ?M ?P))))		 Music.kif 380-387 If live recording is an attribute of X and X is an instance of recording, then there exists Y such that Y is an instance of performance and X is a record of Y
(=>
    (and
        (attribute ?M StudioRecording)
        (instance ?M Recording))
    (exists (?P ?S)
        (and
            (record ?M ?P)
            (eventLocated ?P ?S)
            (instance ?S RecordingStudio))))		 Music.kif 394-402 If studio recording is an attribute of X and X is an instance of recording, then there exist Y, Z such that X is a record of Y, Y is located at Z, and Z is an instance of recording studio
(=>
    (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 If demo recording is an attribute of X and X is an instance of recording, then X has the purpose there exist Y, Z, W such that Y is an instance of demonstrating, X is a record of W, W is a patient of Y, Y ends up at Z, and Z is an instance of group of people
(=>
    (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 If mashup is an attribute of X and X is an instance of recording, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a recording of W (3) Z is a recording of V (4) equal W (5) V (6) Y is a part of X (7) Z is a part of X

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


(=>
    (instance ?S RecordingStudio)
    (hasPurpose ?S
        (exists (?R ?P)
            (and
                (instance ?R Recording)
                (result ?P ?R)
                (eventLocated ?P ?S)))))		 Music.kif 27-34 If X is an instance of recording studio, then X has the purpose there exist Y, Z such that Y is an instance of recording, Y is a result of Z, and Z is located at X
(=>
    (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 If X is an instance of recording studio, then there exists Y such that Y is an instance of device, Y has the purpose there exist Z, W such that Z is an instance of recording, Y is an instrument for W, Z is a result of W, and Y is located at X
(=>
    (instance ?L Album)
    (forall (?X)
        (=>
            (inList ?X ?L)
            (instance ?X Recording))))		 Music.kif 53-58 If X is an instance of album, then For all Entity Y: if Y is a member of X, then Y is an instance of recording
(=>
    (albumArtist ?A ?P)
    (exists (?R ?M)
        (and
            (instance ?R Recording)
            (inList ?R ?A)
            (record ?R ?M)
            (agent ?M ?P))))		 Music.kif 280-287 If X is a performer on Y, then there exist Z, W such that Z is an instance of recording, Z is a member of Y, Z is a record of W, and X is an agent of W
(=>
    (attribute ?M RecordingAttribute)
    (instance ?M Recording))		 Music.kif 371-373 If recording attribute is an attribute of X, then X is an instance of recording


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