![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Byte
|
|
|
| appearance as argument number 1 |
|
|
| (instance Byte UnitOfInformation) | Merge.kif 7559-7559 | Byte is an instance of unit of information |
| (documentation Byte EnglishLanguage "One Byte of information. A Byte is eight Bits.") | Merge.kif 7560-7561 | Byte is an instance of unit of information |
| appearance as argument number 2 |
|
|
| statement |
|
|
| (equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit)) |
Merge.kif 7563-7565 | equal X byte(s) and X and 8 bit(s) |
| (equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte)) |
Merge.kif 7573-7575 | equal X kilo byte(s) and X and 1024 byte(s) |