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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KiloByte
KiloByteK, KB, KiB, kB, kb, kbit, kibibyte, kilo_byte, kilobit, kilobyte

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


(documentation KiloByte ChineseLanguage "1 KiloByte (KB)的信息,1 KiloByte 是1024 Byte。注: '千'在这的意思不同于广泛被接受的国际单位制的千。") Merge.kif 7705-7706
(documentation KiloByte EnglishLanguage "One KiloByte (KB) of information. One KiloByte is 1024 Bytes. Note that this sense of 'kilo' is different from the one accepted in the SI system.") Merge.kif 7702-7704
(instance KiloByte UnitOfInformation) Merge.kif 7701-7701

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


(termFormat EnglishLanguage KiloByte "kilo byte") domainEnglishFormat.kif 5841-5841

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


(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))
Merge.kif 7708-7710
(equal
    (MeasureFn ?NUMBER MegaByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) KiloByte))
Merge.kif 7719-7721


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