UnitOfMeasureMultiplier |
appearance as argument number 1 |
![]() |
(documentation UnitOfMeasureMultiplier ChineseLanguage "这个 Class 的每一个 instance 都是 UnaryFunction,当我们以单一的参数来评估的话, 一个 UnitOfMeasure 会产生出另一个 UnitOfMeasure, 也就是说这是参数的一个数值倍数。") | chinese_format.kif 2437-2439 | |
(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 6145-6148 | |
(subclass UnitOfMeasureMultiplier TotalValuedRelation) | Merge.kif 6143-6143 | UnitOfMeasureMultiplier is a subclass of total valued relation |
(subclass UnitOfMeasureMultiplier UnaryFunction) | Merge.kif 6142-6142 | UnitOfMeasureMultiplier is a subclass of unary function |
appearance as argument number 2 |
![]() |
(instance GigaFn UnitOfMeasureMultiplier) | Merge.kif 6190-6190 | Giga is an instance of UnitOfMeasureMultiplier |
(instance KiloFn UnitOfMeasureMultiplier) | Merge.kif 6162-6162 | Kilo is an instance of UnitOfMeasureMultiplier |
(instance MegaFn UnitOfMeasureMultiplier) | Merge.kif 6176-6176 | Mega is an instance of UnitOfMeasureMultiplier |
(instance MicroFn UnitOfMeasureMultiplier) | Merge.kif 6232-6232 | Micro is an instance of UnitOfMeasureMultiplier |
(instance MilliFn UnitOfMeasureMultiplier) | Merge.kif 6218-6218 | Milli is an instance of UnitOfMeasureMultiplier |
(instance NanoFn UnitOfMeasureMultiplier) | Merge.kif 6246-6246 | Nano is an instance of UnitOfMeasureMultiplier |
(instance PicoFn UnitOfMeasureMultiplier) | Merge.kif 6261-6261 | Pico is an instance of UnitOfMeasureMultiplier |
(instance TeraFn UnitOfMeasureMultiplier) | Merge.kif 6204-6204 | Tera is an instance of UnitOfMeasureMultiplier |
antecedent |
![]() |
(=> (and (instance ?FUNCTION UnitOfMeasureMultiplier) (instance ?UNIT CompositeUnitOfMeasure)) (instance (?FUNCTION ?UNIT) CompositeUnitOfMeasure)) |
Merge.kif 6150-6154 |
|
(=> (and (instance ?FUNCTION UnitOfMeasureMultiplier) (instance ?UNIT NonCompositeUnitOfMeasure)) (instance (?FUNCTION ?UNIT) NonCompositeUnitOfMeasure)) |
Merge.kif 6156-6160 |
|
![]() |
![]() |