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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AudioRecording

Sigma KEE - AudioRecording
AudioRecording(audio recording)
more pictures...
78, L-P, LP, audio, audio_recording, audiotape, bologram, bolograph, disc, disk, phonograph_record, phonograph_recording, platter, record, seventy-eight, sound_recording, talking_book, tape

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


(comment AudioRecording "In ver 1.111 of Mid-level-ontology.kif , it says that (subclass AudioRecording Text). This does not seem right. Deleting that statement. Creating a parent class called Recording which means something that captures a Process that happened in real life. AudioRecording and VideoRecording will inherit from there. A Photograph is also a still recording of what happened in real life - as opposed to Graphic Art which is more of an ArtWork than a Recording, so it will also inherit from Recording. (09-14-2011)" "KJN") Mid-level-ontology.kif 14230-14236
(documentation AudioRecording EnglishLanguage "A representation of sound on some medium such as wax cylinder, vinyl record, magnetic tape, CD or flash memory, that is intended to be used in some machine to reproduce that sound.") Mid-level-ontology.kif 14237-14239
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ SweepScreenshotLinux.png") pictureList.kif 2644-2644
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ CDs_I_bought.jpg") pictureList.kif 6999-6999
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ CassetteTypes1.jpg") pictureList.kif 6996-6996
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ CDR.JPG") pictureList.kif 6998-6998
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ Vynil_record.jpg") pictureList.kif 4516-4516
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Kaseta_magnetofonowa_ubt.jpeg") pictureList.kif 6995-6995
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CD_autolev_crop.jpg") pictureList.kif 6997-6997
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Recordable_CDs.jpg") pictureList.kif 7000-7000
(subclass AudioRecording Recording) Mid-level-ontology.kif 14229-14229 Audio recording is a subclass of recording

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


(subclass AudioFile AudioRecording) Media.kif 1456-1456 Audio file is a subclass of audio recording
(subclass MusicRecording AudioRecording) Mid-level-ontology.kif 14330-14330 Music recording is a subclass of audio recording
(subclass VoiceMail AudioRecording) Mid-level-ontology.kif 26992-26992 Voice mail is a subclass of audio recording
(termFormat ChineseLanguage AudioRecording "录音") domainEnglishFormat.kif 9036-9036
(termFormat ChineseTraditionalLanguage AudioRecording "錄音") domainEnglishFormat.kif 9035-9035
(termFormat EnglishLanguage AudioRecording "audio recording") domainEnglishFormat.kif 9034-9034

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


(=>
    (and
        (recordingLength ?R ?T)
        (instance ?R AudioRecording)
        (instance ?L Listening)
        (patient ?L ?R))
    (duration
        (WhenFn ?L) ?T))
Music.kif 118-124
(=>
    (instance ?RECORD AudioRecording)
    (exists (?INFO ?SOUND)
        (and
            (containsInformation ?RECORD ?INFO)
            (realization ?SOUND ?INFO)
            (instance ?SOUND RadiatingSound))))
Mid-level-ontology.kif 14249-14255
(=>
    (instance ?X AudioRecording)
    (exists (?EV)
        (and
            (instance ?EV RadiatingSound)
            (represents ?X ?EV)
            (capability RadiatingSound patient ?X))))
Mid-level-ontology.kif 14241-14247

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


(=>
    (instance ?PLAYER AudioCDSystem)
    (hasPurpose ?PLAYER
        (exists (?DISC ?AUDIO ?RS ?DIGITAL ?PROC)
            (and
                (instrument ?PROC ?PLAYER)
                (patient ?PROC ?DISC)
                (instance ?DISC CompactDisc)
                (instance ?AUDIO AudioRecording)
                (represents ?DIGITAL ?AUDIO)
                (part ?DIGITAL ?DISC)
                (instance ?RS RadiatingSound)
                (subProcess ?RS ?PROC)
                (instrument ?RS ?PLAYER)
                (patient ?RS ?DISC)))))
Media.kif 1209-1223
(=>
    (instance ?PLAYER MediaSystem)
    (hasPurpose ?PLAYER
        (or
            (exists (?VIDEO ?RL)
                (and
                    (instance ?VIDEO VideoRecording)
                    (instance ?RL RadiatingLight)
                    (patient ?RL ?VIDEO)
                    (instrument ?RL ?PLAYER)))
            (exists (?AUDIO ?RS)
                (and
                    (instance ?AUDIO AudioRecording)
                    (instance ?RS RadiatingSound)
                    (patient ?RS ?AUDIO)
                    (instrument ?RS ?PLAYER))))))
Mid-level-ontology.kif 14390-14405
(=>
    (instance ?VCR VCRSystem)
    (hasPurpose ?VCR
        (exists (?VHS ?PROC ?VIDEO ?AVIDEO ?RL ?AUDIO ?AAUDIO ?RS)
            (and
                (instance ?VHS VHSCassette)
                (instrument ?PROC ?VCR)
                (patient ?PROC ?VHS)
                (instance ?VIDEO VideoRecording)
                (represents ?AVIDEO ?VIDEO)
                (part ?VIDEO ?VHS)
                (instance ?AUDIO AudioRecording)
                (represents ?AAUDIO ?AUDIO)
                (part ?AAUDIO ?AVIDEO)
                (part ?AUDIO ?VHS)
                (instance ?RL RadiatingLight)
                (patient ?RL ?VIDEO)
                (subProcess ?RL ?PROC)
                (instance ?RS RadiatingSound)
                (patient ?RS ?AUDIO)
                (subProcess ?RS ?PROC)))))
Media.kif 1387-1407
(=>
    (instance ?VIDEO VideoRecording)
    (modalAttribute
        (exists (?AUDIO)
            (and
                (instance ?AUDIO AudioRecording)
                (part ?AUDIO ?VIDEO))) Possibility))
Mid-level-ontology.kif 14376-14382
(=>
    (instance ?X AudioRecorder)
    (hasPurpose ?X
        (exists (?RS ?RECORD ?PROC)
            (and
                (instance ?RS RadiatingSound)
                (instance ?PROC IntentionalProcess)
                (instrument ?PROC ?X)
                (patient ?PROC ?RS)
                (result ?PROC ?RECORD)
                (instance ?RECORD AudioRecording)))))
Mid-level-ontology.kif 26166-26176
(=>
    (instance ?X DVDSystem)
    (hasPurpose ?X
        (exists (?DVD ?PROC)
            (and
                (instance ?DVD DVD)
                (instrument ?PROC ?X)
                (patient ?PROC ?DVD)
                (or
                    (exists (?VIDEO ?DVIDEO ?RL)
                        (and
                            (instance ?VIDEO VideoRecording)
                            (represents ?DVIDEO ?VIDEO)
                            (part ?DVIDEO ?DVD)
                            (instance ?RL RadiatingLight)
                            (subProcess ?RL ?PROC)
                            (instrument ?RL ?X)
                            (patient ?RL ?VIDEO)))
                    (exists (?AUDIO ?DAUDIO ?RS)
                        (and
                            (instance ?AUDIO AudioRecording)
                            (represents ?DAUDIO ?AUDIO)
                            (part ?DAUDIO ?DVD)
                            (instance ?RS RadiatingSound)
                            (subProcess ?RS ?PROC)
                            (instrument ?RS ?X)
                            (patient ?RS ?AUDIO))))))))
Media.kif 1275-1301
(=>
    (instance ?X TapeRecorder)
    (hasPurpose ?X
        (exists (?AUDIO ?TAPE ?PROC)
            (and
                (instance ?PROC IntentionalProcess)
                (instrument ?PROC ?X)
                (result ?PROC ?AUDIO)
                (instance ?AUDIO AudioRecording)
                (instance ?TAPE RecordingTape)
                (holdsDuring ?PROC
                    (connected ?TAPE ?X))
                (before
                    (BeginFn
                        (WhenFn ?PROC))
                    (BeginFn
                        (WhenFn
                            (part ?AUDIO ?TAPE))))))))
Media.kif 1336-1350


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 3.0 is open source software produced by Articulate Software and its partners