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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfInformation

Sigma KEE - UnitOfInformation
UnitOfInformation

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 6239-6241
(subclass UnitOfInformation NonCompositeUnitOfMeasure) Merge.kif 6237-6237

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


(instance Bit UnitOfInformation) Merge.kif 7321-7321
(instance Byte UnitOfInformation) Merge.kif 7325-7325
(instance KiloByte UnitOfInformation) Merge.kif 7333-7333
(instance MegaByte UnitOfInformation) Merge.kif 7343-7343
(instance Page UnitOfInformation) Mid-level-ontology.kif 13140-13140

antecedent
-------------------------


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


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