Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  InformationMeasure

Sigma KEE - InformationMeasure
InformationMeasure

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


(documentation InformationMeasure ChineseLanguage "这是量度信息量的单位,它包括 BitByte、 和其他多个如:KiloByteMegaByte 等。") 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 7323-7325
(subclass InformationMeasure ConstantQuantity) Merge.kif 7321-7321

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


(termFormat ChineseLanguage InformationMeasure "资讯测量") chinese_format.kif 1312-1312
(termFormat EnglishLanguage InformationMeasure "information measure") english_format.kif 1841-1841

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfInformation))
    (instance ?QUANT InformationMeasure))
Merge.kif 6316-6320


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 is open source software produced by Articulate Software and its partners