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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 UnitOfInformation is a subclass of NonCompositeUnitOfMeasure

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


(instance Bit UnitOfInformation) Merge.kif 7327-7327 Bit is an instance of UnitOfInformation
(instance Byte UnitOfInformation) Merge.kif 7331-7331 Byte is an instance of UnitOfInformation
(instance KiloByte UnitOfInformation) Merge.kif 7339-7339 Kilo byte is an instance of UnitOfInformation
(instance MegaByte UnitOfInformation) Merge.kif 7349-7349 Mega byte is an instance of UnitOfInformation
(instance Page UnitOfInformation) Mid-level-ontology.kif 13144-13144 Page is an instance of UnitOfInformation

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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