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 6345-6347
(documentation UnitOfInformation JapaneseLanguage "この C のすべてのインスタンスは UnitOfMeasure で、MeasureFn と共に InformationMeasure のインスタンスを形成するのに使用できる。")	japanese_format.kif 1119-1121
(subclass UnitOfInformation NonCompositeUnitOfMeasure)	Merge.kif 6343-6343	Unit of information is a subclass of non composite unit of measure

appearance as argument number 2

(instance Bit UnitOfInformation)	Merge.kif 7446-7446	Bit is an instance of unit of information
(instance Byte UnitOfInformation)	Merge.kif 7450-7450	Byte is an instance of unit of information
(instance KiloByte UnitOfInformation)	Merge.kif 7458-7458	Kilo byte is an instance of unit of information
(instance MegaByte UnitOfInformation)	Merge.kif 7468-7468	Mega byte is an instance of unit of information
(instance Page UnitOfInformation)	Mid-level-ontology.kif 15063-15063	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 6416-6420