Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass FrequencyMeasure TimeDependentQuantity) | Merge.kif 6953-6953 | Frequency measure is a subclass of time dependent quantity |
| (documentation FrequencyMeasure EnglishLanguage "A subclass of TimeDependentQuantity, instances of which are measures of the frequency with which some Process occurs.") | Merge.kif 6955-6957 | Frequency measure is a subclass of time dependent quantity |
| (subclass FrequencyMeasure ConstantQuantity) | HouseholdAppliances.kif 1243-1243 | Frequency measure is a subclass of constant quantity |
| (documentation FrequencyMeasure EnglishLanguage "Instances of FrequencyMeasure are measures of frequency stated in units of UnitOfFrequency.") | HouseholdAppliances.kif 1244-1244 | Frequency measure is a subclass of constant quantity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FrequencyMeasure "frequency measure") | domainEnglishFormat.kif 64898-64898 |
| appearance as argument number 3 |
|
|
| (domain maximumSpinSpeed 2 FrequencyMeasure) | HouseholdAppliances.kif 1567-1567 | The number 2 argument of maximum spin speed is an instance of frequency measure |
| (domain radarEmissionFrequency 2 FrequencyMeasure) | Transportation.kif 5536-5536 | The number 2 argument of radar emission frequency is an instance of frequency measure |
| consequent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfFrequency)) (instance ?QUANT FrequencyMeasure)) |
Merge.kif 6965-6969 | If equal X Y(s) and Z and Y is an instance of unit of frequency, then Z is an instance of frequency measure |
|