Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| InformationMeasure(information measure) |  | EB, Eb, Ebit, EiB, Eibit, Gibit, Mibit, Pibit, Tibit, Yibit, ZB, Zb, Zbit, ZiB, Zibit, capacity, entropy, exabit, exabyte, exbibit, exbibyte, formatted_capacity, gibibit, information, kibibit, kibit, mebibit, pebibit, selective_information, tebibit, unformatted_capacity, yobibit, zebibit, zebibyte, zettabit, zettabyte |
| appearance as argument number 1 |
|
|
| (subclass InformationMeasure ConstantQuantity) | Merge.kif 7549-7549 | Information measure is a subclass of constant quantity |
| (documentation InformationMeasure EnglishLanguage "Measures of the amount of information. Includes Bit, Byte, and multiples of these, e.g. KiloByte and MegaByte.") | Merge.kif 7551-7553 | Information measure is a subclass of constant quantity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage InformationMeasure "information measure") | english_format.kif 1845-1845 |
| consequent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfInformation)) (instance ?QUANT InformationMeasure)) |
Merge.kif 6525-6529 | If equal X Y(s) and Z and Y is an instance of unit of information, then Z is an instance of information measure |
|