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 6210-6213 | |
(documentation CompositeUnitOfMeasure JapaneseLanguage "この Class のインスタンスは、他の ユニットの機能構成によって定義される %UnitsOfMeasure であり、それぞれが CompositeUnitOfMeasure または NonCompositeUnitOfMeasure である可能性がある。") | japanese_format.kif 1078-1080 | |
(subclass CompositeUnitOfMeasure FunctionQuantity) | Merge.kif 6208-6208 | |
(subclass CompositeUnitOfMeasure UnitOfMeasure) | Merge.kif 6207-6207 |
appearance as argument number 2 |
antecedent |
(=> (and (defaultMaximumMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (greaterThan ?QUANTITY ?Q))) Unlikely)) |
Mid-level-ontology.kif 13536-13545 | |
(=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (greaterThan ?QUANTITY (MultiplicationFn ?Q 1.5)))) Unlikely)) |
Mid-level-ontology.kif 13566-13575 | |
(=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (lessThan ?QUANTITY (MultiplicationFn ?Q .5)))) Unlikely)) |
Mid-level-ontology.kif 13577-13586 | |
(=> (and (defaultMinimumMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (lessThan ?QUANTITY ?Q))) Unlikely)) |
Mid-level-ontology.kif 13505-13514 | |
(=> (and (instance ?FUNCTION UnitOfMeasureMultiplier) (instance ?UNIT CompositeUnitOfMeasure)) (instance (?FUNCTION ?UNIT) CompositeUnitOfMeasure)) |
Merge.kif 6455-6459 | |
(=> (and (instance ?QUANT (MeasureFn ?N ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (instance ?QUANT FunctionQuantity)) |
Merge.kif 6225-6229 | |
(=> (and (topSpeed ?V (MeasureFn ?Q ?CU)) (instance ?CU CompositeUnitOfMeasure) (instance ?UL UnitOfLength) (instance ?UD UnitOfDuration) (equal ?FASTPROB (ProbabilityFn (measure ?V (SpeedFn (MeasureFn ?L1 ?UL) (MeasureFn ?T1 ?UD))))) (equal ?SLOWPROB (ProbabilityFn (measure ?V (SpeedFn (MeasureFn ?L2 ?UL) (MeasureFn ?T2 ?UD))))) (greaterThan (SpeedFn ?L1 ?T1) ?Q) (greaterThan ?Q (SpeedFn ?L2 ?T2))) (greaterThan ?SLOWPROB ?FASTPROB)) |
Transportation.kif 1718-1736 |
consequent |
(=> (and (instance ?FUNCTION UnitOfMeasureMultiplier) (instance ?UNIT CompositeUnitOfMeasure)) (instance (?FUNCTION ?UNIT) CompositeUnitOfMeasure)) |
Merge.kif 6455-6459 |