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 6245-6247
(subclass UnitOfInformation NonCompositeUnitOfMeasure) Merge.kif 6243-6243

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


(instance Bit UnitOfInformation) Merge.kif 7327-7327
(instance Byte UnitOfInformation) Merge.kif 7331-7331
(instance KiloByte UnitOfInformation) Merge.kif 7339-7339
(instance MegaByte UnitOfInformation) Merge.kif 7349-7349
(instance Page UnitOfInformation) Mid-level-ontology.kif 13144-13144

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


(=>
    (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