CeilingFn - Sigma Knowledge base Browser

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 4690-4691
(domain CeilingFn 1 RealNumber)	Merge.kif 4687-4687	The number 1 argument of ceiling is an instance of real number
(instance CeilingFn TotalValuedRelation)	Merge.kif 4686-4686	Ceiling is an instance of total valued relation
(instance CeilingFn UnaryFunction)	Merge.kif 4685-4685	Ceiling is an instance of unary function
(range CeilingFn Integer)	Merge.kif 4688-4688	The range of ceiling is an instance of 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 692-692
(termFormat ChineseLanguage CeilingFn "天花板")	domainEnglishFormat.kif 13635-13635
(termFormat ChineseLanguage CeilingFn "顶整数函数")	chinese_format.kif 691-691
(termFormat ChineseTraditionalLanguage CeilingFn "天花板")	domainEnglishFormat.kif 13634-13634
(termFormat EnglishLanguage CeilingFn "ceiling")	domainEnglishFormat.kif 13633-13633

antecedent

(=>
    (and
        (equal ?OUT
            (ReverseFn ?IN))
        (equal ?LEN
            (StringLengthFn ?IN))
        (greaterThan ?LEN 1)
        (greaterThan ?N 0)
        (lessThan ?N ?LEN)
        (equal ?PIVOT
            (CeilingFn
                (DivisionFn
                    (SubtractionFn ?LEN 1) 2)))
        (equal ?NEW
            (AdditionFn
                (SubtractionFn ?PIVOT ?N) ?PIVOT))
        (equal ?S
            (SubstringFn ?IN ?N
                (AdditionFn 1 ?N))))
    (equal ?S
        (SubstringFn ?OUT ?NEW
            (AdditionFn 1 ?NEW))))

Media.kif 3056-3077

If a symbolic string is equal to the reverse of another symbolic string and a nonnegative integer is equal to the length of the other symbolic string and the nonnegative integer is greater than 1 and another nonnegative integer is greater than 0 and the other nonnegative integer is less than the nonnegative integer and an integer is equal to the ceiling of (the nonnegative integer and 1) and 2 and the other nonnegative integerEW is equal to ((the integer and the other nonnegative integer) and the integer) and a third symbolic string is equal to the sub-string of the other symbolic string from the other nonnegative integer to (1 and the other nonnegative integer),
then the third symbolic string is equal to the sub-string of the symbolic string from the other nonnegative integerEW to (1 and the other nonnegative integerEW)

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: