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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FrequencyMeasure

Sigma KEE - FrequencyMeasure
FrequencyMeasure(frequency measure)EHF, ELF, HF, LF, MF, SHF, UHF, VHF, VLF, audio, audio_frequency, beat, extremely_high_frequency, extremely_low_frequency, high_frequency, infrared, infrared_frequency, low_frequency, medium_frequency, radio_frequency, station, superhigh_frequency, ultrahigh_frequency, very_high_frequency, very_low_frequency

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


(documentation FrequencyMeasure ChineseLanguage "TimeDependentQuantitysubclass, , 它有些实例是用来量度某些 Process 发生的频率。 ") chinese_format.kif 2524-2525
(documentation FrequencyMeasure EnglishLanguage "A subclass of TimeDependentQuantity, instances of which are measures of the frequency with which some Process occurs.") Merge.kif 6836-6838
(documentation FrequencyMeasure JapaneseLanguage "TimeDependentQuantitysubclass、 そのインスタンスは、いくつかの Process が発生する周波数の尺度である。") japanese_format.kif 1225-1226
(subclass FrequencyMeasure TimeDependentQuantity) Merge.kif 6834-6834 Frequency measure is a subclass of time dependent quantity

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


(termFormat EnglishLanguage FrequencyMeasure "frequency measure") domainEnglishFormat.kif 64895-64895

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfFrequency))
    (instance ?QUANT FrequencyMeasure))
Merge.kif 6846-6850


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