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 7422-7423
(documentation Byte JapaneseLanguage "1 Byte の情報。 Byte は8 Bit である。") japanese_format.kif 1342-1342
(instance Byte UnitOfInformation) Merge.kif 7421-7421 ByteUnitOfInformationinstance では %n

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


(termFormat ChineseLanguage Byte "字节") domainEnglishFormat.kif 12541-12541
(termFormat ChineseTraditionalLanguage Byte "字節") domainEnglishFormat.kif 12540-12540
(termFormat EnglishLanguage Byte "byte") domainEnglishFormat.kif 12539-12539

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


(equal
    (MeasureFn ?NUMBER Byte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 8) Bit))
Merge.kif 7425-7427 実数Byte(s) は 実数 + 8 の Bit(s) と equal では %n
(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))
Merge.kif 7435-7437 実数KiloByte(s) は 実数 + 1024 の Byte(s) と equal では %n


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