UnitOfInformation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation UnitOfInformation ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来组成 InformationMeasure 实例的 UnitOfMeasure。")	chinese_format.kif 2429-2430
(documentation UnitOfInformation EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of InformationMeasure.")	Merge.kif 6326-6328
(documentation UnitOfInformation JapaneseLanguage "この C のすべてのインスタンスは UnitOfMeasure で、MeasureFn と共に InformationMeasure のインスタンスを形成するのに使用できる。")	japanese_format.kif 1119-1121
(subclass UnitOfInformation NonCompositeUnitOfMeasure)	Merge.kif 6324-6324	Unit of information is a subclass of non composite unit of measure

appearance as argument number 2

(instance Bit UnitOfInformation)	Merge.kif 7427-7427	Bit is an instance of unit of information
(instance Byte UnitOfInformation)	Merge.kif 7431-7431	Byte is an instance of unit of information
(instance KiloByte UnitOfInformation)	Merge.kif 7439-7439	Kilo byte is an instance of unit of information
(instance MegaByte UnitOfInformation)	Merge.kif 7449-7449	Mega byte is an instance of unit of information
(instance Page UnitOfInformation)	Mid-level-ontology.kif 14602-14602	Page is an instance of unit of information
(termFormat EnglishLanguage UnitOfInformation "unit of information")	domainEnglishFormat.kif 65680-65680	Page is an instance of unit of information

antecedent

(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfInformation))
    (instance ?QUANT InformationMeasure))

Merge.kif 6397-6401