Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   UnitOfMeasureMultiplier
|
|
|
| appearance as argument number 1 |
|
|
| (subclass UnitOfMeasureMultiplier UnaryFunction) | Merge.kif 6566-6566 | Unit of measure multiplier is a subclass of unary function |
| (subclass UnitOfMeasureMultiplier TotalValuedRelation) | Merge.kif 6567-6567 | Unit of measure multiplier is a subclass of total valued relation |
| (documentation UnitOfMeasureMultiplier EnglishLanguage "Each instance of this Class is a UnaryFunction that, when evaluated on its single argument, a UnitOfMeasure, produces another UnitOfMeasure that is a numeric multiple of the argument.") | Merge.kif 6569-6572 | Unit of measure multiplier is a subclass of total valued relation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?FUNCTION UnitOfMeasureMultiplier) (instance ?UNIT CompositeUnitOfMeasure)) (instance (?FUNCTION ?UNIT) CompositeUnitOfMeasure)) |
Merge.kif 6574-6578 | If X is an instance of unit of measure multiplier and Y is an instance of composite unit of measure, then X Y is an instance of composite unit of measure |
| (=> (and (instance ?FUNCTION UnitOfMeasureMultiplier) (instance ?UNIT NonCompositeUnitOfMeasure)) (instance (?FUNCTION ?UNIT) NonCompositeUnitOfMeasure)) |
Merge.kif 6580-6584 | If X is an instance of unit of measure multiplier and Y is an instance of non composite unit of measure, then X Y is an instance of non composite unit of measure |
|