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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KiloByte
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 7335-7337
(instance KiloByte UnitOfInformation) Merge.kif 7333-7333

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


(termFormat ChineseLanguage KiloByte "千位元") domainEnglishFormat.kif 32526-32526
(termFormat ChineseTraditionalLanguage KiloByte "千位元") domainEnglishFormat.kif 32525-32525
(termFormat EnglishLanguage KiloByte "kilo byte") domainEnglishFormat.kif 32524-32524

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


(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))
Merge.kif 7339-7341
(equal
    (MeasureFn ?NUMBER MegaByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) KiloByte))
Merge.kif 7349-7351


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