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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7326-7327
(instance Byte UnitOfInformation) Merge.kif 7325-7325

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 7329-7331
(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))
Merge.kif 7339-7341


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 3.0 is open source software produced by Articulate Software and its partners