Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Byte
Byte(byte)byte, nibble, nybble

appearance as argument number 1
-------------------------


(documentation Byte ChineseLanguage "1 Byte 的信息,1 Byte 是 8 Bits。") chinese_format.kif 2627-2627
(documentation Byte EnglishLanguage "One Byte of information. A Byte is eight Bits.") Merge.kif 7085-7086
(instance Byte UnitOfInformation) Merge.kif 7084-7084 Byte is an instance of UnitOfInformation

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Byte "字节") domainEnglishFormat.kif 12481-12481
(termFormat ChineseTraditionalLanguage Byte "字節") domainEnglishFormat.kif 12480-12480
(termFormat EnglishLanguage Byte "byte") domainEnglishFormat.kif 12479-12479

statement
-------------------------


(equal
    (MeasureFn ?NUMBER Byte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 8) Bit))
Merge.kif 7088-7090 A real number byte(s) is equal to the real number and 8 bit(s)
(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))
Merge.kif 7098-7100 A real number kilo byte(s) is equal to the real number and 1024 byte(s)


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners