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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfInformation
UnitOfInformation(unit of information)

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 Unit of information is a subclass of non composite unit of measure

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


(instance Bit UnitOfInformation) Merge.kif 7417-7417 Bit is an instance of unit of information
(instance Byte UnitOfInformation) Merge.kif 7421-7421 Byte is an instance of unit of information
(instance KiloByte UnitOfInformation) Merge.kif 7429-7429 Kilo byte is an instance of unit of information
(instance MegaByte UnitOfInformation) Merge.kif 7439-7439 Mega byte is an instance of unit of information
(instance Page UnitOfInformation) Mid-level-ontology.kif 13674-13674 Page is an instance of unit of information
(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