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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bit

Sigma KEE - Bit
Bit

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


(documentation Bit ChineseLanguage "1 Bit 的信息,可以是1或0。") chinese_format.kif 2626-2626
(documentation Bit EnglishLanguage "One Bit of information. A one or a zero.") Merge.kif 7419-7419
(documentation Bit JapaneseLanguage "情報の1 Bit。 1または 0。") japanese_format.kif 1341-1341
(instance Bit UnitOfInformation) Merge.kif 7417-7417

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


(termFormat ChineseLanguage Bit "位元") domainEnglishFormat.kif 11219-11219
(termFormat ChineseTraditionalLanguage Bit "位元") domainEnglishFormat.kif 11218-11218
(termFormat EnglishLanguage Bit "bit") domainEnglishFormat.kif 11217-11217

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


(equal
    (MeasureFn ?NUMBER Byte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 8) Bit))
Merge.kif 7425-7427


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