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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FrequencyMeasure
FrequencyMeasureEHF, 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 6549-6551
(subclass FrequencyMeasure TimeDependentQuantity) Merge.kif 6547-6547 FrequencyMeasure is a subclass of time dependent quantity

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


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


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 3.0 is open source software produced by Articulate Software and its partners