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
-------------------------


s__comment(s__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 12660-12666
s__documentation(s__AudioRecording,s__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 12667-12669
s__externalImage(s__AudioRecording,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ SweepScreenshotLinux.png"')

pictureList.kif 2645-2645
s__externalImage(s__AudioRecording,'"http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ CDs_I_bought.jpg"')

pictureList.kif 7000-7000
s__externalImage(s__AudioRecording,'"http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ CassetteTypes1.jpg"')

pictureList.kif 6997-6997
s__externalImage(s__AudioRecording,'"http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ CDR.JPG"')

pictureList.kif 6999-6999
s__externalImage(s__AudioRecording,'"http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ Vynil_record.jpg"')

pictureList.kif 4517-4517
s__externalImage(s__AudioRecording,'"http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Kaseta_magnetofonowa_ubt.jpeg"')

pictureList.kif 6996-6996
s__externalImage(s__AudioRecording,'"http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CD_autolev_crop.jpg"')

pictureList.kif 6998-6998
s__externalImage(s__AudioRecording,'"http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Recordable_CDs.jpg"')

pictureList.kif 7001-7001
s__subclass(s__AudioRecording,s__Recording)

s__instance(s__AudioRecording,s__SetOrClass)

s__instance(s__Recording,s__SetOrClass)

Mid-level-ontology.kif 12659-12659 Audio recording is a subclass of recording

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


s__subclass(s__AudioFile,s__AudioRecording)

s__instance(s__AudioFile,s__SetOrClass)

s__instance(s__AudioRecording,s__SetOrClass)

Media.kif 1460-1460 AudioFile is a subclass of audio recording
s__subclass(s__MusicRecording,s__AudioRecording)

s__instance(s__MusicRecording,s__SetOrClass)

s__instance(s__AudioRecording,s__SetOrClass)

Mid-level-ontology.kif 12760-12760 Music recording is a subclass of audio recording
s__instance(s__VoiceMail,s__SetOrClass)

s__subclass(s__VoiceMail,s__AudioRecording)

s__instance(s__AudioRecording,s__SetOrClass)

Mid-level-ontology.kif 25223-25223 VoiceMail is a subclass of audio recording
s__termFormat(s__ChineseLanguage,s__AudioRecording,'"录音"')

domainEnglishFormat.kif 9045-9045
s__termFormat(s__ChineseTraditionalLanguage,s__AudioRecording,'"錄音"')

domainEnglishFormat.kif 9044-9044
s__termFormat(s__EnglishLanguage,s__AudioRecording,'"audio recording"')

domainEnglishFormat.kif 9043-9043

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


( ! [V__R,V__T,V__L] :
   (((s__instance(V__T,s__TimeDuration) &
         s__instance(V__L,s__Process))
       =>
       (((s__recordingLength(V__R,V__T)
           &
           s__instance(V__R,s__AudioRecording))
         =>
         (((s__instance(V__L,s__Listening) &
               s__patient(V__L,V__R))
           =>
           (s__duration(s__WhenFn(V__L)
          ,V__T)))))))
)
)

Music.kif 116-124
( ! [V__RECORD] :
   ((s__instance(V__RECORD,s__AudioRecording) =>
       (( ? [V__INFO, V__SOUND] :
           ((s__instance(V__INFO,s__Proposition) &
               (s__containsInformation(V__RECORD,V__INFO)
               &
               s__realization(V__SOUND,V__INFO)
             &
             s__instance(V__SOUND,s__RadiatingSound)))))))
)
)

Mid-level-ontology.kif 12679-12685
( ! [V__X] :
   ((s__instance(V__X,s__AudioRecording) =>
       (( ? [V__EV] :
           ((s__instance(V__EV,s__RadiatingSound) &
               s__represents(V__X,V__EV)
             &
             s__capability(s__RadiatingSound,s__patient__m,V__X))))))
)
)

Mid-level-ontology.kif 12671-12677

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1213-1227
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12820-12835
No TPTP formula. May not be expressible in strict first order. Media.kif 1391-1411
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12806-12812
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24378-24388
No TPTP formula. May not be expressible in strict first order. Media.kif 1279-1305
No TPTP formula. May not be expressible in strict first order. 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 3.0 is open source software produced by Articulate Software and its partners