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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KiloByte
KiloByte(kilo byte)K, 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。注: '千'在这的意思不同于广泛被接受的国际单位制的千。") chinese_format.kif 2628-2629
(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 7008-7010
(instance KiloByte UnitOfInformation) Merge.kif 7006-7006 Kilo byte is an instance of UnitOfInformation

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


(termFormat ChineseLanguage KiloByte "千位元") domainEnglishFormat.kif 32449-32449 "千位元" is the printable form of kilo byte in ChineseLanguage
(termFormat ChineseTraditionalLanguage KiloByte "千位元") domainEnglishFormat.kif 32448-32448 "千位元" is the printable form of kilo byte in ChineseTraditionalLanguage
(termFormat EnglishLanguage KiloByte "kilo byte") domainEnglishFormat.kif 32447-32447 "kilo byte" is the printable form of kilo byte in english language

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


(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))
Merge.kif 7012-7014 A real number kilo byte(s) is equal to the real number and 1024 byte(s)
(equal
    (MeasureFn ?NUMBER MegaByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) KiloByte))
Merge.kif 7022-7024 A real number mega byte(s) is equal to the real number and 1024 kilo byte(s)


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