Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - KiloByte
KiloByte(kilo byte)K, KB, KiB, kB, kb, kbit, kibibyte, kilobit, kilobyte

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


(instance KiloByte UnitOfInformation) Merge.kif 7567-7567 Kilo byte is an instance of unit of information
(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 7569-7571 Kilo byte is an instance of unit of information

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


(termFormat EnglishLanguage KiloByte "kilo byte") domainEnglishFormat.kif 32541-32541
(termFormat ChineseTraditionalLanguage KiloByte "千位元") domainEnglishFormat.kif 32542-32542
(termFormat ChineseLanguage KiloByte "千位元") domainEnglishFormat.kif 32543-32543

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


(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))		 Merge.kif 7573-7575 equal X kilo byte(s) and X and 1024 byte(s)
(equal
    (MeasureFn ?NUMBER MegaByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) KiloByte))		 Merge.kif 7583-7585 equal X mega byte(s) and X 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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners