MicroFn |
appearance as argument number 1 |
![]() |
(documentation MicroFn ChineseLanguage "这是一个 UnaryFunction,它把一个 UnitOfMeasure 联系 都等于原本 UnitOfMeasure 1,000,000之一的 UnitOfMeasure 上。 例如:(MicroFn Meter)是 .000001 Meters.") | chinese_format.kif 2455-2457 | |
(documentation MicroFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to .000001 units of the original UnitOfMeasure. For example, (MicroFn Meter) is .000001 Meters.") | Merge.kif 6236-6238 | |
(domain MicroFn 1 UnitOfMeasure) | Merge.kif 6233-6233 | The number 1 argument of micro is an instance of unit of measure |
(instance MicroFn UnitOfMeasureMultiplier) | Merge.kif 6232-6232 | Micro is an instance of UnitOfMeasureMultiplier |
(range MicroFn UnitOfMeasure) | Merge.kif 6234-6234 | The range of micro is an instance of unit of measure |
appearance as argument number 2 |
![]() |
(format ChineseLanguage MicroFn "%1 的百万分之一") | chinese_format.kif 645-645 | |
(format EnglishLanguage MicroFn "one millionth of a %1") | english_format.kif 651-651 | |
(termFormat ChineseLanguage MicroFn "微") | domainEnglishFormat.kif 37363-37363 | |
(termFormat ChineseLanguage MicroFn "百万分之一函数") | chinese_format.kif 646-646 | |
(termFormat ChineseTraditionalLanguage MicroFn "微") | domainEnglishFormat.kif 37362-37362 | |
(termFormat EnglishLanguage MicroFn "micro") | domainEnglishFormat.kif 37361-37361 |
antecedent |
![]() |
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?MICROUNIT (MicroFn ?UNIT))) (equal (MeasureFn 1 ?MICROUNIT) (MeasureFn 0.000001 ?UNIT))) |
Merge.kif 6240-6244 |
|
statement |
![]() |
![]() |
![]() |