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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AudioRecording
AudioRecording
more pictures...

VerbNet: transcribe-25.4|tape, transcribe-25.4|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 11918-11924
(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 11925-11927
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ SweepScreenshotLinux.png") pictureList.kif 2645-2645
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ CDs_I_bought.jpg") pictureList.kif 7000-7000
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ CassetteTypes1.jpg") pictureList.kif 6997-6997
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ CDR.JPG") pictureList.kif 6999-6999
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ Vynil_record.jpg") pictureList.kif 4517-4517
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Kaseta_magnetofonowa_ubt.jpeg") pictureList.kif 6996-6996
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CD_autolev_crop.jpg") pictureList.kif 6998-6998
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Recordable_CDs.jpg") pictureList.kif 7001-7001
(subclass AudioRecording Recording) Mid-level-ontology.kif 11917-11917 subclass AudioRecording and Recording

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


(subclass AudioFile AudioRecording) Media.kif 1460-1460 subclass AudioFile and AudioRecording
(subclass MusicRecording AudioRecording) Mid-level-ontology.kif 12018-12018 subclass MusicRecording and AudioRecording
(subclass VoiceMail AudioRecording) Mid-level-ontology.kif 25342-25342 subclass VoiceMail and AudioRecording
(termFormat ChineseLanguage AudioRecording "录音") domainEnglishFormat.kif 9049-9049
(termFormat ChineseTraditionalLanguage AudioRecording "錄音") domainEnglishFormat.kif 9048-9048
(termFormat EnglishLanguage AudioRecording "audio recording") domainEnglishFormat.kif 9047-9047

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


(=>
    (and
        (recordingLength ?R ?T)
        (instance ?R AudioRecording))
    (=>
        (and
            (instance ?L Listening)
            (patient ?L ?R))
        (duration
            (WhenFn ?L) ?T)))		 Music.kif 116-124
(=>
    (instance ?RECORD AudioRecording)
    (exists (?INFO ?SOUND)
        (and
            (containsInformation ?RECORD ?INFO)
            (realization ?SOUND ?INFO)
            (instance ?SOUND RadiatingSound))))		 Mid-level-ontology.kif 11937-11943
(=>
    (instance ?X AudioRecording)
    (exists (?EV)
        (and
            (instance ?EV RadiatingSound)
            (represents ?X ?EV)
            (capability RadiatingSound patient ?X))))		 Mid-level-ontology.kif 11929-11935

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 1213-1227
(=>
    (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 12078-12093
(=>
    (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 1391-1411
(=>
    (instance ?VIDEO VideoRecording)
    (modalAttribute
        (exists (?AUDIO)
            (and
                (instance ?AUDIO AudioRecording)
                (part ?AUDIO ?VIDEO))) Possibility))		 Mid-level-ontology.kif 12064-12070
(=>
    (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 24250-24260
(=>
    (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 1279-1305
(=>
    (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 1340-1354


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners