KiloFn |
appearance as argument number 1 |
(documentation KiloFn ChineseLanguage "这是一个 UnaryFunction,它把一个 UnitOfMeasure 联系 都等于原本 UnitOfMeasure 1,000倍的 UnitOfMeasure 上。 例如: (KiloFn Gram) 是 1,000 Grams。") | chinese_format.kif 2440-2442 | |
(documentation KiloFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to 1,000 units of the original UnitOfMeasure. For example, (KiloFn Gram) is 1,000 Grams.") | Merge.kif 6472-6474 | |
(documentation KiloFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の 1,000 単位に等しい UnitOfMeasure に UnitOfMeasure をマップする。例:(KiloFn Gram) は、1,000 Grams である。") | japanese_format.kif 1132-1134 | |
(domain KiloFn 1 UnitOfMeasure) | Merge.kif 6469-6469 | 域 千, 1 and UnitOfMeasure |
(instance KiloFn UnitOfMeasureMultiplier) | Merge.kif 6468-6468 | 例 千 and UnitOfMeasureMultiplier |
(range KiloFn UnitOfMeasure) | Merge.kif 6470-6470 | 範圍 千 and UnitOfMeasure |
appearance as argument number 2 |
(format ChineseLanguage KiloFn "%1 的一千倍") | chinese_format.kif 635-635 | |
(format EnglishLanguage KiloFn "1 thousand %1s") | english_format.kif 638-638 | |
(format FrenchLanguage KiloFn "1 millier %1s") | french_format.kif 384-384 | |
(format ItalianLanguage KiloFn "1 mille %1s") | relations-it.txt 158-158 | |
(format JapaneseLanguage KiloFn "1 の thousand %1s") | japanese_format.kif 2114-2114 | |
(format PortugueseLanguage KiloFn "1 mil %1s") | portuguese_format.kif 336-336 | |
(format de KiloFn "1 tausend %1") | relations-de.txt 831-831 | |
(format hi KiloFn "1 hajaara %1") | relations-hindi.txt 197-197 | |
(format ro KiloFn "1 thousand%t{mie} de %1") | relations-ro.kif 406-406 | |
(format sv KiloFn "1 tusen %1s") | relations-sv.txt 427-427 | |
(format tg KiloFn "1 libo ng %1") | relations-tg.txt 316-316 | |
(termFormat ChineseLanguage KiloFn "千") | domainEnglishFormat.kif 32545-32545 | |
(termFormat ChineseLanguage KiloFn "千倍函数") | chinese_format.kif 636-636 | |
(termFormat ChineseTraditionalLanguage KiloFn "千") | domainEnglishFormat.kif 32544-32544 | |
(termFormat EnglishLanguage KiloFn "kilo") | domainEnglishFormat.kif 32543-32543 | |
(termFormat tg KiloFn "tungkulin ng libo") | relations-tg.txt 317-317 |
antecedent |
consequent |
statement |