UnitOfFrequency(unit of frequency) |
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 65658-65658 |
antecedent |
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfFrequency)) (instance ?QUANT FrequencyMeasure)) |
Merge.kif 6847-6851 |
|