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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hertz
Hertz

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 6524-6526
(instance Hertz SystemeInternationalUnit) Merge.kif 6522-6522 instance Hertz and SystemeInternationalUnit
(instance Hertz UnitOfFrequency) Merge.kif 6521-6521 instance Hertz and UnitOfFrequency

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


(termFormat ChineseLanguage Hertz "赫兹") domainEnglishFormat.kif 27943-27943
(termFormat ChineseTraditionalLanguage Hertz "赫茲") domainEnglishFormat.kif 27942-27942
(termFormat EnglishLanguage Hertz "hertz") domainEnglishFormat.kif 27941-27941

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


(=>
    (and
        (instance ?R RadiatingElectromagnetic)
        (carrierFrequency ?R
            (MeasureFn Hertz ?HZ))
        (wavelength ?R
            (MeasureFn Meter ?L)))
    (equal
        (MeasureFn Meter ?L)
        (MeasureFn Meter
            (DivisionFn 299792458 ?HZ))))
ComputingBrands.kif 1548-1555

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


(=>
    (and
        (instance ?WN
            (NetworkCommunicationFn BluetoothNetwork))
        (instance ?R RadiatingElectromagnetic)
        (subProcess ?R ?WN)
        (carrierFrequency ?R ?W))
    (and
        (greaterThan ?W
            (GigaFn
                (MeasureFn Hertz 2.4)))
        (lessThan ?W
            (GigaFn
                (MeasureFn Hertz 2.485)))))
ComputingBrands.kif 1557-1565


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners