UnitOfFrequency - Sigma Knowledge base Browser

appearance as argument number 1

(documentation UnitOfFrequency ChineseLanguage "这个 Class 所有的实例都是可以和 MeasureFn 一起应用来组成 FrequencyMeasure 实例的 UnitOfMeasure。")	chinese_format.kif 2526-2527
(documentation UnitOfFrequency EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of FrequencyMeasure.")	Merge.kif 6842-6844
(documentation UnitOfFrequency JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasure で、MeasureFn によって MeasureFn のインスタンスを形成するのに使用できる。")	japanese_format.kif 1227-1228
(subclass UnitOfFrequency CompositeUnitOfMeasure)	Merge.kif 6840-6840

appearance as argument number 2

(instance Hertz UnitOfFrequency)	Merge.kif 6852-6852
(termFormat EnglishLanguage UnitOfFrequency "unit of frequency")	domainEnglishFormat.kif 65656-65656

antecedent

(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfFrequency))
    (instance ?QUANT FrequencyMeasure))

Merge.kif 6846-6850