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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Byte
Bytebyte, nibble, nybble

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


(documentation Byte ChineseLanguage "1 Byte 的信息,1 Byte 是 8 Bits。") Merge.kif 7695-7695
(documentation Byte EnglishLanguage "One Byte of information. A Byte is eight Bits.") Merge.kif 7693-7694
(instance Byte UnitOfInformation) Merge.kif 7692-7692

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


(termFormat EnglishLanguage Byte "byte") domainEnglishFormat.kif 2514-2514

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


(equal
    (MeasureFn ?NUMBER Byte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 8) Bit))
Merge.kif 7697-7699
(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))
Merge.kif 7708-7710


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