Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  half
|
|
|
| appearance as argument number 1 |
|
|
| (subclass UnitOfInformation NonCompositeUnitOfMeasure) | Merge.kif 6452-6452 | Unit of information is a subclass of non composite unit of measure |
| (documentation UnitOfInformation EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of InformationMeasure.") | Merge.kif 6454-6456 | Unit of information is a subclass of non composite unit of measure |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfInformation)) (instance ?QUANT InformationMeasure)) |
Merge.kif 6525-6529 | If equal X Y(s) and Z and Y is an instance of unit of information, then Z is an instance of information measure |
|