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 4467-4468 | |
(domain CeilingFn 1 RealNumber) | Merge.kif 4464-4464 | domain CeilingFn, 1 and RealNumber |
(instance CeilingFn TotalValuedRelation) | Merge.kif 4463-4463 | instance CeilingFn and TotalValuedRelation |
(instance CeilingFn UnaryFunction) | Merge.kif 4462-4462 | instance CeilingFn and UnaryFunction |
(range CeilingFn Integer) | Merge.kif 4465-4465 | range CeilingFn and Integer |
appearance as argument number 2 |
![]() |
(format ChineseLanguage CeilingFn "取%1 的顶整数 ") | chinese_format.kif 690-690 | |
(format EnglishLanguage CeilingFn "the ceiling of %1") | english_format.kif 695-695 | |
(termFormat ChineseLanguage CeilingFn "天花板") | domainEnglishFormat.kif 13573-13573 | termFormat ChineseLanguage, CeilingFn and "天花板" |
(termFormat ChineseLanguage CeilingFn "顶整数函数") | chinese_format.kif 691-691 | termFormat ChineseLanguage, CeilingFn and "顶整数函数" |
(termFormat ChineseTraditionalLanguage CeilingFn "天花板") | domainEnglishFormat.kif 13572-13572 | termFormat ChineseTraditionalLanguage, CeilingFn and "天花板" |
(termFormat EnglishLanguage CeilingFn "ceiling") | domainEnglishFormat.kif 13571-13571 | termFormat EnglishLanguage, CeilingFn and "ceiling" |
antecedent |
![]() |
![]() |
![]() |