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 6843-6845
(documentation UnitOfFrequency JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasure で、MeasureFn によって MeasureFn のインスタンスを形成するのに使用できる。")	japanese_format.kif 1227-1228
(subclass UnitOfFrequency CompositeUnitOfMeasure)	Merge.kif 6841-6841	Unit of frequency is a subclass of composite unit of measure

appearance as argument number 2

(instance Hertz UnitOfFrequency)	Merge.kif 6853-6853	Hertz is an instance of unit of frequency
(termFormat EnglishLanguage UnitOfFrequency "unit of frequency")	domainEnglishFormat.kif 65704-65704	Hertz is an instance of unit of frequency

antecedent

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

Merge.kif 6847-6851