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

appearance as argument number 2

(instance Bit UnitOfInformation)	Merge.kif 7418-7418	Bit is an instance of unit of information
(instance Byte UnitOfInformation)	Merge.kif 7422-7422	Byte is an instance of unit of information
(instance KiloByte UnitOfInformation)	Merge.kif 7430-7430	Kilo byte is an instance of unit of information
(instance MegaByte UnitOfInformation)	Merge.kif 7440-7440	Mega byte is an instance of unit of information
(instance Page UnitOfInformation)	Mid-level-ontology.kif 13892-13892	Page is an instance of unit of information
(termFormat EnglishLanguage UnitOfInformation "unit of information")	domainEnglishFormat.kif 65705-65705	Page is an instance of unit of information

antecedent

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

Merge.kif 6407-6411