Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| UnitOfFrequency(unit of frequency) |
| appearance as argument number 1 |
|
| (subclass UnitOfFrequency CompositeUnitOfMeasure) | Merge.kif 6959-6959 | Unit of frequency is a subclass of composite unit of measure |
| (documentation UnitOfFrequency EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of FrequencyMeasure.") | Merge.kif 6961-6963 | Unit of frequency is a subclass of composite unit of measure |
| (documentation UnitOfFrequency EnglishLanguage "UnitOfFrequency is a unit for describing a number of occurances of an event in a unit of time, e.g. RPM (Revolutions per minute).") | HouseholdAppliances.kif 1241-1241 | Unit of frequency is a subclass of composite unit of measure |
| appearance as argument number 2 |
|
|
| (instance Hertz UnitOfFrequency) | Merge.kif 6971-6971 | Hertz is an instance of unit of frequency |
| (termFormat EnglishLanguage UnitOfFrequency "unit of frequency") | domainEnglishFormat.kif 65659-65659 | Hertz is an instance of unit of frequency |
| antecedent |
|
|
| (=> (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 |
|