| appearance as argument number 1 |
|
| (documentation CeilingFn ChineseLanguage "(CeilingFn ?NUMBER)得出大于或等于 RealNumber ?NUMBER 的最小 Integer。") | Merge.kif 4943-4944 | |
| (documentation CeilingFn EnglishLanguage "(CeilingFn ?NUMBER) returns the smallest Integer greater than or equal to the RealNumber ?NUMBER.") | Merge.kif 4941-4942 | |
| (domain CeilingFn 1 RealNumber) | Merge.kif 4939-4939 | |
| (instance CeilingFn TotalValuedRelation) | Merge.kif 4938-4938 | |
| (instance CeilingFn UnaryFunction) | Merge.kif 4937-4937 | |
| (range CeilingFn Integer) | Merge.kif 4940-4940 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage CeilingFn "取%1 的顶整数 ") | chinese_format.kif 690-690 | |
| (format EnglishLanguage CeilingFn "the ceiling of %1") | english_format.kif 429-429 | |
| (termFormat ChineseLanguage CeilingFn "顶整数函数") | chinese_format.kif 691-691 | |
| (termFormat EnglishLanguage CeilingFn "ceiling") | domainEnglishFormat.kif 2695-2695 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners