CompositeUnitOfMeasure
|
|
appearance as argument number 1 |
(documentation CompositeUnitOfMeasure ChineseLanguage "这是由其他单位的复合函数所决定的 UnitsOfMeasure Class 的实例,当中的每一个可以是一个 CompositeUnitOfMeasure 或是一个 NonCompositeUnitOfMeasure。") | chinese_format.kif 2397-2399 | |
(documentation CompositeUnitOfMeasure EnglishLanguage "Instances of this Class are UnitsOfMeasure defined by the functional composition of other units, each of which might be a CompositeUnitOfMeasure or a NonCompositeUnitOfMeasure.") | Merge.kif 6211-6214 | |
(documentation CompositeUnitOfMeasure JapaneseLanguage "この Class のインスタンスは、他の ユニットの機能構成によって定義される %UnitsOfMeasure であり、それぞれが CompositeUnitOfMeasure または NonCompositeUnitOfMeasure である可能性がある。") | japanese_format.kif 1078-1080 | |
(subclass CompositeUnitOfMeasure FunctionQuantity) | Merge.kif 6209-6209 | Composite unit of measure is a subclass of function quantity |
(subclass CompositeUnitOfMeasure UnitOfMeasure) | Merge.kif 6208-6208 | Composite unit of measure is a subclass of unit of measure |
appearance as argument number 2 |
antecedent |
consequent |
(=> (and (instance ?FUNCTION UnitOfMeasureMultiplier) (instance ?UNIT CompositeUnitOfMeasure)) (instance (?FUNCTION ?UNIT) CompositeUnitOfMeasure)) |
Merge.kif 6456-6460 |
|