InformationMeasure - Sigma Knowledge base Browser

appearance as argument number 1

(documentation InformationMeasure ChineseLanguage "这是量度信息量的单位，它包括 Bit、 Byte、和其他多个如：KiloByte 和 MegaByte 等。")	chinese_format.kif 2624-2625
(documentation InformationMeasure EnglishLanguage "Measures of the amount of information. Includes Bit, Byte, and multiples of these, e.g. KiloByte and MegaByte.")	Merge.kif 7423-7425
(documentation InformationMeasure JapaneseLanguage "情報量の測定。　Bit、Byte、およびこれらの倍数が含まれる。例：KiloByte と MegaByte。")	japanese_format.kif 1339-1340
(subclass InformationMeasure ConstantQuantity)	Merge.kif 7421-7421	Information measure is a subclass of constant quantity

appearance as argument number 2

(termFormat ChineseLanguage InformationMeasure "资讯测量")	chinese_format.kif 1312-1312
(termFormat EnglishLanguage InformationMeasure "information measure")	english_format.kif 1841-1841
(termFormat FrenchLanguage InformationMeasure "mesure d'information")	french_format.kif 990-990
(termFormat Hindi InformationMeasure "sUchnaa maapa")	terms-hindi.txt 525-525
(termFormat ItalianLanguage InformationMeasure "MisuraD'Informazione")	terms-it.txt 529-529
(termFormat JapaneseLanguage InformationMeasure "情報測定")	japanese_format.kif 2674-2674
(termFormat PortugueseLanguage InformationMeasure "Medida de Informacao")	portuguese_format.kif 942-942
(termFormat cz InformationMeasure "information measure")	terms-cz.txt 565-565
(termFormat de InformationMeasure "Informationenmass")	terms-de.txt 824-824
(termFormat ro InformationMeasure "mãsurã de informaþie")	relations-ro.kif 1011-1011
(termFormat tg InformationMeasure "sukat ng impormasyon")	terms-tg.txt 530-530

consequent

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

Merge.kif 6397-6401