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


KB Term:  Term intersection
English Word: 

  InformationMeasure

 Sigma KEE - InformationMeasure
InformationMeasure(information measure)EB, Eb, Ebit, EiB, Eibit, Gibit, Mibit, Pibit, Tibit, Yibit, ZB, Zb, Zbit, ZiB, Zibit, capacity, entropy, exabit, exabyte, exbibit, exbibyte, formatted_capacity, gibibit, information, kibibit, kibit, mebibit, pebibit, selective_information, tebibit, unformatted_capacity, yobibit, zebibit, zebibyte, zettabit, zettabyte

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


(subclass InformationMeasure ConstantQuantity) Merge.kif 7549-7549 Information measure is a subclass of constant quantity
(documentation InformationMeasure EnglishLanguage "Measures of the amount of information. Includes Bit, Byte, and multiples of these, e.g. KiloByte and MegaByte.") Merge.kif 7551-7553 Information measure is a subclass of constant quantity

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


(termFormat EnglishLanguage InformationMeasure "information measure") english_format.kif 1845-1845

consequent
-------------------------


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfInformation))
    (instance ?QUANT InformationMeasure))		 Merge.kif 6525-6529 If equal X Y(s) and Z and Y is an instance of unit of information, then Z is an instance of information measure


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners