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 6335-6337
(documentation UnitOfInformation JapaneseLanguage "この C のすべてのインスタンスは UnitOfMeasure で、MeasureFn と共に InformationMeasure のインスタンスを形成するのに使用 できる。") japanese_format.kif 1119-1121
(subclass UnitOfInformation NonCompositeUnitOfMeasure) Merge.kif 6333-6333 UnitOfInformation est une sous-classe de NonCompositeUnitOfMeasure

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


(instance Bit UnitOfInformation) Merge.kif 7417-7417 Bit est une instance de UnitOfInformation
(instance Byte UnitOfInformation) Merge.kif 7421-7421 Byte est une instance de UnitOfInformation
(instance KiloByte UnitOfInformation) Merge.kif 7429-7429 KiloByte est une instance de UnitOfInformation
(instance MegaByte UnitOfInformation) Merge.kif 7439-7439 MegaByte est une instance de UnitOfInformation
(instance Page UnitOfInformation) Mid-level-ontology.kif 13674-13674 Page est une instance de UnitOfInformation
(termFormat EnglishLanguage UnitOfInformation "unit of information") domainEnglishFormat.kif 65657-65657

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


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


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