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 6486-6488 | |
(documentation MegaFn JapaneseLanguage "UnaryFunctionは、元の UnitOfMeasure の 1,000,000 単位に等しい UnitOfMeasure に UnitOfMeasure をマップする。 例:(MegaFn Hertz) は 1,000,000 Hertz である。") | japanese_format.kif 1135-1137 | |
(domain MegaFn 1 UnitOfMeasure) | Merge.kif 6483-6483 | 百万倍函数 的 1 数量 是 测量单位 的 instance |
(instance MegaFn UnitOfMeasureMultiplier) | Merge.kif 6482-6482 | 百万倍函数 是 UnitOfMeasureMultiplier 的 instance |
(range MegaFn UnitOfMeasure) | Merge.kif 6484-6484 | 百万倍函数 的 range 是 测量单位 的实例 |
appearance as argument number 2 |
(format ChineseLanguage MegaFn "%1 的一百万倍") | chinese_format.kif 637-637 | |
(format EnglishLanguage MegaFn "1 million %1s") | english_format.kif 640-640 | |
(format FrenchLanguage MegaFn "1 million %1s") | french_format.kif 385-385 | |
(format ItalianLanguage MegaFn "1 milione %1s") | relations-it.txt 181-181 | |
(format JapaneseLanguage MegaFn "1 の million %1s") | japanese_format.kif 2115-2115 | |
(format PortugueseLanguage MegaFn "1 milhao %1s") | portuguese_format.kif 337-337 | |
(format de MegaFn "1 million %1") | relations-de.txt 833-833 | |
(format hi MegaFn "dasa laakha %1") | relations-hindi.txt 219-219 | |
(format ro MegaFn "1 million%t{milion} de %1") | relations-ro.kif 407-407 | |
(format sv MegaFn "1 miljon %1s") | relations-sv.txt 428-428 | |
(format tg MegaFn "1 milyon ang mga %1") | relations-tg.txt 357-357 | |
(termFormat ChineseLanguage MegaFn "兆") | domainEnglishFormat.kif 36935-36935 | |
(termFormat ChineseLanguage MegaFn "百万倍函数") | chinese_format.kif 638-638 | |
(termFormat ChineseTraditionalLanguage MegaFn "兆") | domainEnglishFormat.kif 36934-36934 | |
(termFormat EnglishLanguage MegaFn "mega") | domainEnglishFormat.kif 36933-36933 |
antecedent |
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?MEGAUNIT (MegaFn ?UNIT))) (equal (MeasureFn 1 ?MEGAUNIT) (MeasureFn 1000000 ?UNIT))) |
Merge.kif 6490-6494 |
statement |
(equal (MeasureFn 1 KilowattHour) (MeasureFn 3.6 (MegaFn Joule))) |
Economy.kif 2008-2008 | 1 千瓦时 equal 3.6 焦耳 的一百万倍 |