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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Byte

Sigma KEE - Byte
Byte

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 7332-7333
(instance Byte UnitOfInformation) Merge.kif 7331-7331

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


(termFormat ChineseLanguage Byte "字节") domainEnglishFormat.kif 12544-12544
(termFormat ChineseTraditionalLanguage Byte "字節") domainEnglishFormat.kif 12543-12543
(termFormat EnglishLanguage Byte "byte") domainEnglishFormat.kif 12542-12542

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


(equal
    (MeasureFn ?NUMBER Byte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 8) Bit))
Merge.kif 7335-7337
(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))
Merge.kif 7345-7347


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners