RoundFn |
appearance as argument number 1 |
(documentation RoundFn ChineseLanguage "(RoundFn ?NUMBER)是在数字线上最接近 ?NUMBER 的 Integer,如果 ?NUMBER 位于两个 Integer 的一半(例如:3.5)时, 这将会得出较大的 Integer。") | chinese_format.kif 2269-2270 | |
(documentation RoundFn EnglishLanguage "(RoundFn ?NUMBER) is the Integer closest to ?NUMBER on the number line. If ?NUMBER is halfway between two Integers (for example 3.5), it denotes the larger Integer.") | Merge.kif 5174-5176 | |
(documentation RoundFn JapaneseLanguage "(RoundFn ?NUMBER) は、番号行の?NUMBERに最も近い Integer。?NUMBERが2つの Integer の中間にある場合 (たとえば 3.5)、大きな Integer を示 す。") | japanese_format.kif 934-936 | |
(domain RoundFn 1 RealNumber) | Merge.kif 5171-5171 | The number 1 argument of round is an instance of real number |
(instance RoundFn TotalValuedRelation) | Merge.kif 5170-5170 | Round is an instance of total valued relation |
(instance RoundFn UnaryFunction) | Merge.kif 5168-5168 | Round is an instance of unary function |
(range RoundFn RealNumber) | Merge.kif 5172-5172 | The range of round is an instance of real number |
appearance as argument number 2 |
(format ChineseLanguage RoundFn "四舍五入 %1 为整数") | chinese_format.kif 724-724 | |
(format EnglishLanguage RoundFn "%1 rounded") | english_format.kif 726-726 | |
(format FrenchLanguage RoundFn "%1 arrondi") | french_format.kif 435-435 | |
(format ItalianLanguage RoundFn "%1 arrotondato") | relations-it.txt 258-258 | |
(format JapaneseLanguage RoundFn "%1 の rounded") | japanese_format.kif 2152-2152 | |
(format PortugueseLanguage RoundFn "%1 arredondado") | portuguese_format.kif 387-387 | |
(format de RoundFn "%1 gerundet") | relations-de.txt 937-937 | |
(format hi RoundFn "nikaTita %1") | relations-hindi.txt 295-295 | |
(format ro RoundFn "%1 rounded%t{rotunjit}") | relations-ro.kif 457-457 | |
(format sv RoundFn "%1 avrundat till närmaste heltal") | relations-sv.txt 497-497 | |
(termFormat ChineseLanguage RoundFn "四舍五入函数") | chinese_format.kif 725-725 | |
(termFormat ChineseLanguage RoundFn "回合") | domainEnglishFormat.kif 50524-50524 | |
(termFormat ChineseTraditionalLanguage RoundFn "回合") | domainEnglishFormat.kif 50523-50523 | |
(termFormat EnglishLanguage RoundFn "round") | domainEnglishFormat.kif 50522-50522 |