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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hertz

Sigma KEE - Hertz
Hertz(hertz)GHz, Gc, Hz, MHz, Mc, cps, cycle, cycle_per_second, cycles/second, gigacycle, gigacycle_per_second, gigahertz, hertz, kHz, kc, kilocycle, kilocycle_per_second, kilohertz, megacycle, megacycle_per_second, megahertz, wavelength

appearance as argument number 1
-------------------------


(documentation Hertz ChineseLanguage "这是国际单位制量度频率的单位,符号:Hz。它是每秒週期運動的次 數。 Hertz = s^(-1)。注: Hertz 并没有转换函数。") chinese_format.kif 2528-2529
(documentation Hertz EnglishLanguage "SI frequency measure. Symbol: Hz. It is the number of cycles per second. Hertz = s^(-1). Note that Hertz does not have a conversion function.") Merge.kif 6855-6857
(documentation Hertz JapaneseLanguage "SI周波数測定。シンボル: Hz。秒当たりのサイクル数。 Hertz = s^(-1)。 注:Hertz には変換関数がない。") japanese_format.kif 1229-1230
(instance Hertz SystemeInternationalUnit) Merge.kif 6853-6853 Hertz is an instance of systeme international unit
(instance Hertz UnitOfFrequency) Merge.kif 6852-6852 Hertz is an instance of unit of frequency

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


(termFormat ChineseLanguage Hertz "赫兹") domainEnglishFormat.kif 28041-28041
(termFormat ChineseTraditionalLanguage Hertz "赫茲") domainEnglishFormat.kif 28040-28040
(termFormat EnglishLanguage Hertz "hertz") domainEnglishFormat.kif 28039-28039

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
(=>
    (and
        (instance ?R RadiatingElectromagnetic)
        (carrierFrequency ?R
            (MeasureFn ?HZ Hertz))
        (wavelength ?R
            (MeasureFn ?L Meter)))
    (equal
        (MeasureFn ?L Meter)
        (MeasureFn
            (DivisionFn 299792458 ?HZ) Meter)))
ComputingBrands.kif 1570-1577
(=>
    (and
        (instance ?WN
            (NetworkCommunicationFn BluetoothNetwork))
        (instance ?R RadiatingElectromagnetic)
        (subProcess ?R ?WN)
        (carrierFrequency ?R
            (MeasureFn ?W
                (GigaFn Hertz))))
    (and
        (greaterThan ?W 2.4)
        (lessThan ?W 2.485)))
ComputingBrands.kif 1579-1588


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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