| Bit(bit) | | bit |
| appearance as argument number 1 |
|
|
| (documentation Bit ChineseLanguage "1 Bit 的信息，可以是1或0。") | chinese_format.kif 2626-2626 | |
| (documentation Bit EnglishLanguage "One Bit of information. A one or a zero.") | Merge.kif 7420-7420 | |
| (documentation Bit JapaneseLanguage "情報の１ Bit。 １または ０。") | japanese_format.kif 1341-1341 | |
| (instance Bit UnitOfInformation) | Merge.kif 7418-7418 | Bit is an instance of unit of information |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bit "位元") | domainEnglishFormat.kif 11235-11235 | |
| (termFormat ChineseTraditionalLanguage Bit "位元") | domainEnglishFormat.kif 11234-11234 | |
| (termFormat EnglishLanguage Bit "bit") | domainEnglishFormat.kif 11233-11233 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit)) |
Merge.kif 7426-7428 | A real number byte(s) is equal to the real number and 8 bit(s) |
|
|
|