CeilingFn |
appearance as argument number 1 |
(documentation CeilingFn ChineseLanguage "(CeilingFn ?NUMBER)得出大于或等于 RealNumber ?NUMBER 的最小 Integer。") | chinese_format.kif 2226-2227 | |
(documentation CeilingFn EnglishLanguage "(CeilingFn ?NUMBER) returns the smallest Integer greater than or equal to the RealNumber ?NUMBER.") | Merge.kif 4787-4788 | |
(documentation CeilingFn JapaneseLanguage "(CeilingFn ?NUMBER) は、RealNumber ?NUMBER より最大以上以上の最小 Integer を返す。") | japanese_format.kif 890-891 | |
(domain CeilingFn 1 RealNumber) | Merge.kif 4784-4784 | Le nombre 1 argument de CeilingFn est une instance de nombre r�el |
(instance CeilingFn TotalValuedRelation) | Merge.kif 4783-4783 | CeilingFn est une instance de relation total |
(instance CeilingFn UnaryFunction) | Merge.kif 4782-4782 | CeilingFn est une instance de function unaire |
(range CeilingFn Integer) | Merge.kif 4785-4785 | Le domaine de CeilingFn est une instance de nombre entier |
appearance as argument number 2 |
(format ChineseLanguage CeilingFn "取%1 的顶整数 ") | chinese_format.kif 690-690 | |
(format EnglishLanguage CeilingFn "the ceiling of %1") | english_format.kif 692-692 | |
(format FrenchLanguage CeilingFn "le plafond de %1") | french_format.kif 418-418 | |
(format ItalianLanguage CeilingFn "il tetto di %1") | relations-it.txt 43-43 | |
(format JapaneseLanguage CeilingFn "%1 の ceiling") | japanese_format.kif 2135-2135 | |
(format PortugueseLanguage CeilingFn "o teto de %1") | portuguese_format.kif 370-370 | |
(format de CeilingFn "die oberstegrenze von %1") | relations-de.txt 903-903 | |
(format hi CeilingFn "%1 kaa uchchatamaanka") | relations-hindi.txt 85-85 | |
(format ro CeilingFn "ceiling%t{cel mai mic numãr întreg mai mare sau egal} cu %1") | relations-ro.kif 440-440 | |
(format tg CeilingFn "ang kisame sa %1") | relations-cb.txt 77-77 | |
(termFormat ChineseLanguage CeilingFn "天花板") | domainEnglishFormat.kif 13648-13648 | |
(termFormat ChineseLanguage CeilingFn "顶整数函数") | chinese_format.kif 691-691 | |
(termFormat ChineseTraditionalLanguage CeilingFn "天花板") | domainEnglishFormat.kif 13647-13647 | |
(termFormat EnglishLanguage CeilingFn "ceiling") | domainEnglishFormat.kif 13646-13646 | |
(termFormat tg CeilingFn "tungkulin ng kisame") | relations-tg.txt 103-103 |
antecedent |