MegaFn |
appearance as argument number 1 |
![]() |
(documentation MegaFn ChineseLanguage "这是一个 UnaryFunction,它把一个 UnitOfMeasure 联系 都等于原本 UnitOfMeasure 1,000,000倍的 UnitOfMeasure 上。 例如:(MegaFn Hertz)是 1,000,000 Hertz。") | chinese_format.kif 2443-2445 | |
(documentation MegaFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to 1,000,000 units of the original UnitOfMeasure. For example, (MegaFn Hertz) is 1,000,000 Hertz.") | Merge.kif 6051-6053 | |
(domain MegaFn 1 UnitOfMeasure) | Merge.kif 6048-6048 | |
(instance MegaFn UnitOfMeasureMultiplier) | Merge.kif 6047-6047 | |
(range MegaFn UnitOfMeasure) | Merge.kif 6049-6049 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage MegaFn "%1 的一百万倍") | chinese_format.kif 637-637 | |
(format EnglishLanguage MegaFn "1 million %1s") | english_format.kif 643-643 | |
(termFormat ChineseLanguage MegaFn "兆") | domainEnglishFormat.kif 36859-36859 | |
(termFormat ChineseLanguage MegaFn "百万倍函数") | chinese_format.kif 638-638 | |
(termFormat ChineseTraditionalLanguage MegaFn "兆") | domainEnglishFormat.kif 36858-36858 | |
(termFormat EnglishLanguage MegaFn "mega") | domainEnglishFormat.kif 36857-36857 |
antecedent |
![]() |
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?MEGAUNIT (MegaFn ?UNIT))) (equal (MeasureFn 1 ?MEGAUNIT) (MeasureFn 1000000 ?UNIT))) |
Merge.kif 6055-6059 |
statement |
![]() |
(equal (MeasureFn 1 KilowattHour) (MeasureFn 3.6 (MegaFn Joule))) |
Economy.kif 2012-2012 |
![]() |
![]() |