Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CeilingFn

appearance as argument number 1

(documentation CeilingFn ChineseLanguage "(CeilingFn ?NUMBER)得出大于或等于 RealNumber ?NUMBER 的最小 Integer。") Merge.kif 4930-4931
(documentation CeilingFn EnglishLanguage "(CeilingFn ?NUMBER) returns the smallest Integer greater than or equal to the RealNumber ?NUMBER.") Merge.kif 4928-4929
(domain CeilingFn 1 RealNumber) Merge.kif 4926-4926
(instance CeilingFn TotalValuedRelation) Merge.kif 4925-4925
(instance CeilingFn UnaryFunction) Merge.kif 4924-4924
(range CeilingFn Integer) Merge.kif 4927-4927

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
(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 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 tg CeilingFn "ang kisame sa %1") relations-cb.txt 77-77
(termFormat ChineseLanguage CeilingFn "顶整数函数") chinese_format.kif 691-691
(termFormat EnglishLanguage CeilingFn "ceiling") domainEnglishFormat.kif 2695-2695
(termFormat tg CeilingFn "tungkulin ng kisame") relations-tg.txt 103-103

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