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 6247-6249
(subclass UnitOfInformation NonCompositeUnitOfMeasure) Merge.kif 6245-6245 UnitOfInformation is a subclass of NonCompositeUnitOfMeasure

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


(instance Bit UnitOfInformation) Merge.kif 7329-7329 Bit is an instance of UnitOfInformation
(instance Byte UnitOfInformation) Merge.kif 7333-7333 Byte is an instance of UnitOfInformation
(instance KiloByte UnitOfInformation) Merge.kif 7341-7341 Kilo byte is an instance of UnitOfInformation
(instance MegaByte UnitOfInformation) Merge.kif 7351-7351 Mega byte is an instance of UnitOfInformation
(instance Page UnitOfInformation) Mid-level-ontology.kif 13193-13193 Page is an instance of UnitOfInformation

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


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


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