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 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

(=>
    (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 3036-3057

equal SymbolicString and ReverseFn SymbolicString equal NonnegativeInteger and StringLengthFn SymbolicString greaterThan NonnegativeInteger and 1 greaterThan NonnegativeInteger and 0 lessThan NonnegativeInteger and NonnegativeInteger equal Integer and CeilingFn DivisionFn SubtractionFn NonnegativeInteger and 1 and 2 equal NonnegativeIntegerEW and AdditionFn SubtractionFn Integer and NonnegativeInteger and Integer equal SymbolicString and SubstringFn SymbolicString, NonnegativeInteger and AdditionFn 1 and NonnegativeInteger
equal SymbolicString and SubstringFn SymbolicString, NonnegativeIntegerEW and AdditionFn 1 and NonnegativeIntegerEW

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

KB Term:			Term intersection

English Word: