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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - soundFrequency
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 775-776
(domain soundFrequency 1 MusicalTone) Mid-level-ontology.kif 777-777 声音频率 的 1 数量 是 音调instance
(domain soundFrequency 2 FunctionQuantity) Mid-level-ontology.kif 778-778 声音频率 的 2 数量 是 函数量instance
(instance soundFrequency BinaryPredicate) Mid-level-ontology.kif 774-774 声音频率二元谓语instance

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


(format ChineseLanguage soundFrequency "%1 的 frequency 是 %2 ") domainEnglishFormat.kif 4586-4586
(format ChineseTraditionalLanguage soundFrequency "%1 的 frequency 是 %2 ") domainEnglishFormat.kif 4585-4585
(format EnglishLanguage soundFrequency "the frequency of %1 is %2") domainEnglishFormat.kif 4584-4584
(termFormat ChineseLanguage soundFrequency "声音频率") domainEnglishFormat.kif 54006-54006
(termFormat ChineseTraditionalLanguage soundFrequency "聲音頻率") domainEnglishFormat.kif 54005-54005
(termFormat EnglishLanguage soundFrequency "sound frequency") domainEnglishFormat.kif 54004-54004

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


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