soundFrequency |
appearance as argument number 1 |
![]() |
(documentation soundFrequency EnglishLanguage "A relation between a Process of MusicalTone and the fundamental frequency of that tone.") | Mid-level-ontology.kif 768-769 | |
(domain soundFrequency 1 MusicalTone) | Mid-level-ontology.kif 770-770 | soundFrequency の数値 1 引数は MusicalTone の instance では |
(domain soundFrequency 2 FunctionQuantity) | Mid-level-ontology.kif 771-771 | soundFrequency の数値 2 引数は 関数量 の instance では |
(instance soundFrequency BinaryPredicate) | Mid-level-ontology.kif 767-767 | soundFrequency は 2進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage soundFrequency "%1 的 frequency 是 %2 ") | domainEnglishFormat.kif 4590-4590 | |
(format ChineseTraditionalLanguage soundFrequency "%1 的 frequency 是 %2 ") | domainEnglishFormat.kif 4589-4589 | |
(format EnglishLanguage soundFrequency "the frequency of %1 is %2") | domainEnglishFormat.kif 4588-4588 | |
(termFormat ChineseLanguage soundFrequency "声音频率") | domainEnglishFormat.kif 54010-54010 | |
(termFormat ChineseTraditionalLanguage soundFrequency "聲音頻率") | domainEnglishFormat.kif 54009-54009 | |
(termFormat EnglishLanguage soundFrequency "sound frequency") | domainEnglishFormat.kif 54008-54008 |
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 1746-1766 |
|
![]() |
![]() |