AudioRecording - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 15684-15690
(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 15691-15693
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ SweepScreenshotLinux.png")	pictureList.kif 2643-2643
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ CDs_I_bought.jpg")	pictureList.kif 6998-6998
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ CassetteTypes1.jpg")	pictureList.kif 6995-6995
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ CDR.JPG")	pictureList.kif 6997-6997
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ Vynil_record.jpg")	pictureList.kif 4515-4515
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Kaseta_magnetofonowa_ubt.jpeg")	pictureList.kif 6994-6994
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CD_autolev_crop.jpg")	pictureList.kif 6996-6996
(externalImage AudioRecording "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Recordable_CDs.jpg")	pictureList.kif 6999-6999
(subclass AudioRecording Recording)	Mid-level-ontology.kif 15683-15683	Audio recording is a subclass of recording

appearance as argument number 2

(subclass AudioFile AudioRecording)	Media.kif 1458-1458	Audio file is a subclass of audio recording
(subclass MusicRecording AudioRecording)	Mid-level-ontology.kif 15784-15784	Music recording is a subclass of audio recording
(subclass VoiceMail AudioRecording)	Mid-level-ontology.kif 28749-28749	Voice mail is a subclass of audio recording
(termFormat ChineseLanguage AudioRecording "录音")	domainEnglishFormat.kif 9043-9043	Voice mail is a subclass of audio recording
(termFormat ChineseTraditionalLanguage AudioRecording "錄音")	domainEnglishFormat.kif 9042-9042	Voice mail is a subclass of audio recording
(termFormat EnglishLanguage AudioRecording "audio recording")	domainEnglishFormat.kif 9041-9041	Voice mail is a subclass of audio recording

antecedent

(=> (and (recordingLength ?R ?T) (instance ?R AudioRecording) (instance ?L Listening) (patient ?L ?R)) (duration (WhenFn ?L) ?T))	Music.kif 118-124	If a recording is a time duration long and the recording is an instance of audio recording and a process is an instance of listening and the recording is a patient of the process, then duration of the time of existence of the process is the time duration
(=> (instance ?RECORD AudioRecording) (exists (?INFO ?SOUND) (and (containsInformation ?RECORD ?INFO) (realization ?SOUND ?INFO) (instance ?SOUND RadiatingSound))))	Mid-level-ontology.kif 15703-15709	If a content bearing physical is an instance of audio recording, then there exist a proposition and a process such that the content bearing physical contains information the proposition and the process expresses the content of the proposition and the process is an instance of radiating sound
(=> (instance ?X AudioRecording) (exists (?EV) (and (instance ?EV RadiatingSound) (represents ?X ?EV) (capability RadiatingSound patient ?X))))	Mid-level-ontology.kif 15695-15701	If an object is an instance of audio recording, then there exists an entity such that the entity is an instance of radiating sound and the object expresses the entity and the object is capable of doing radiating sound as a patient

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 1211-1225	If a physical is an instance of cd player, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the physical is an instrument for the fifth entity and the entity is a patient of the fifth entity and the entity is an instance of compact disc and the other entity is an instance of audio recording and the fourth entity expresses the other entity and the fourth entity is a part of the entity and the third entity is an instance of radiating sound and the third entity is a subprocess of the fifth entity and the physical is an instrument for the third entity and the entity is a patient of the third entity
(=> (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 15844-15859	If a physical is an instance of media system, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of video recording and the other entity is an instance of radiating light and the entity is a patient of the other entity and the physical is an instrument for the other entity or there exist a third entity and a fourth entity such that the third entity is an instance of audio recording and the fourth entity is an instance of radiating sound and the third entity is a patient of the fourth entity and the physical is an instrument for the fourth entity
(=> (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 1389-1409	If a physical is an instance of vcr system, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity and a eighth entity such that the entity is an instance of VHS cassette and the physical is an instrument for the other entity and the entity is a patient of the other entity and the third entity is an instance of video recording and the fourth entity expresses the third entity and the third entity is a part of the entity and the sixth entity is an instance of audio recording and the seventh entity expresses the sixth entity and the seventh entity is a part of the fourth entity and the sixth entity is a part of the entity and the fifth entity is an instance of radiating light and the third entity is a patient of the fifth entity and the fifth entity is a subprocess of the other entity and the eighth entity is an instance of radiating sound and the sixth entity is a patient of the eighth entity and the eighth entity is a subprocess of the other entity
(=> (instance ?VIDEO VideoRecording) (modalAttribute (exists (?AUDIO) (and (instance ?AUDIO AudioRecording) (part ?AUDIO ?VIDEO))) Possibility))	Mid-level-ontology.kif 15830-15836	If an entity is an instance of video recording, then the statement there exists another entity such that the other entity is an instance of audio recording and the other entity is a part of the entity has the modal force of possibility
(=> (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 27908-27918	If a physical is an instance of audio recorder, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of radiating sound and the third entity is an instance of intentional process and the physical is an instrument for the third entity and the entity is a patient of the third entity and the other entity is a result of the third entity and the other entity is an instance of audio recording
(=> (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 1277-1303	If a physical is an instance of dvd player, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of DVD and the physical is an instrument for the other entity and the entity is a patient of the other entity and there exist a third entity, a fourth entity and a fifth entity such that the third entity is an instance of video recording and the fourth entity expresses the third entity and the fourth entity is a part of the entity and the fifth entity is an instance of radiating light and the fifth entity is a subprocess of the other entity and the physical is an instrument for the fifth entity and the third entity is a patient of the fifth entity or there exist a sixth entity, a seventh entity and a eighth entity such that the sixth entity is an instance of audio recording and the seventh entity expresses the sixth entity and the seventh entity is a part of the entity and the eighth entity is an instance of radiating sound and the eighth entity is a subprocess of the other entity and the physical is an instrument for the eighth entity and the sixth entity is a patient of the eighth entity
(=> (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 1338-1352	If a physical is an instance of tape recorder, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of intentional process and the physical is an instrument for the third entity and the entity is a result of the third entity and the entity is an instance of audio recording and the other entity is an instance of recording tape and the other entity is connected to the physical holds during the third entity and the beginning of the time of existence of the third entity happens before the beginning of the time of existence of the entity is a part of the other entity

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