Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
MusicalTone(musical tone)
more pictures... |  | first_harmonic, fundamental, fundamental_frequency, harmonic, overtone, partial, partial_tone, pure_tone, tone |
| appearance as argument number 1 |
|
|
| (subclass MusicalTone RadiatingSound) | Mid-level-ontology.kif 747-747 | Musical tone is a subclass of radiating sound |
| (documentation MusicalTone EnglishLanguage "A Process of RadiatingSound where the sound has a fundamental frequency and 0 or more partial frequencies or unrelated transients or noise components that have a lesser amplitude than the fundamental.") | Mid-level-ontology.kif 748-751 | Musical tone is a subclass of radiating sound |
| (externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Naxi_Musicians_I.jpg") | pictureList.kif 10134-10134 | Musical tone is a subclass of radiating sound |
| (externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Music_on_top_of_Opera_Garnier_p1150815.jpg") | pictureList.kif 11461-11461 | Musical tone is a subclass of radiating sound |
| (externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Mozarteum_grosser_saal_buehne_mit_orchester.jpg") | pictureList.kif 11462-11462 | Musical tone is a subclass of radiating sound |
| (externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Claves.png") | pictureList.kif 11463-11463 | Musical tone is a subclass of radiating sound |
| (externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Kvinta.png") | pictureList.kif 11464-11464 | Musical tone is a subclass of radiating sound |
| (externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ d/ db/ Sonido13WholeSixteenthTones.png") | pictureList.kif 11465-11465 | Musical tone is a subclass of radiating sound |
| (externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Klaviatura.png") | pictureList.kif 11466-11466 | Musical tone is a subclass of radiating sound |
| (externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Special_T_trumpet_overtone_series.png") | pictureList.kif 11467-11467 | Musical tone is a subclass of radiating sound |
| (externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ Tone_scale_a.jpg") | pictureList.kif 11468-11468 | Musical tone is a subclass of radiating sound |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain soundFrequency 1 MusicalTone) | Mid-level-ontology.kif 760-760 | The number 1 argument of sound frequency is an instance of musical tone |
| antecedent |
|
|
| (=> (and (instance ?MT MusicalTone) (soundFrequency ?MT (MeasureFn ?FREQ Hertz)) (loudness ?MT (MeasureFn ?LLB Decibel)) (located ?MT (WhereFn ?H (BeginFn (WhenFn ?MT)))) (greaterThan ?LLIMIT ?LLB) (greaterThan ?LLB ?ULIMIT) (greaterThan ?FREQ 250) (greaterThan 8000 ?FREQ) (instance ?H Human) (instance ?L Listening) (agent ?L ?H)) (hearingAcuity ?H (MeasureFn ?LLIMIT Decibel) (MeasureFn ?ULIMIT Decibel))) |
Medicine.kif 1737-1757 | If All of the following hold: (1) X is an instance of musical tone (2) the frequency of X is Y hertz(s) (3) the sound of X is Z dB(A)(s) (4) X is located at the place where W was at the beginning of the time of existence of X (5) V is greater than Z (6) Z is greater than U (7) Y is greater than 250 (8) 8000 is greater than Y (9) W is an instance of human (10) T is an instance of listening (11) W is an agent of T, then W can hear frequency of V dB(A)(s) at U dB(A)(s) decibels |
| consequent |
|
|
| (=> (and (instance ?B Bell) (instance ?I Impacting) (destination ?I ?B)) (exists (?MT) (and (instance ?MT MusicalTone) (causes ?I ?MT)))) |
Music.kif 1260-1268 | If X is an instance of bell, Y is an instance of impacting, and Y ends up at X, then there exists Z such that Z is an instance of musical tone and Y causes Z |
|