Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MegaByte(mega byte) |  | M, MB, Mb, Mbit, MiB, mebibyte, megabit, megabyte |
| appearance as argument number 1 |
|
|
| (instance MegaByte UnitOfInformation) | Merge.kif 7577-7577 | Mega byte is an instance of unit of information |
| (documentation MegaByte EnglishLanguage "One MegaByte (MB) of information. One MegaByte is 1024 KiloBytes. Note that this sense of 'mega' is different from the one accepted in the SI system.") | Merge.kif 7579-7581 | Mega byte is an instance of unit of information |
| appearance as argument number 2 |
|
|
| statement |
|
|
| (equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte)) |
Merge.kif 7583-7585 | equal X mega byte(s) and X and 1024 kilo byte(s) |
|