TreeView Knowledge Base Browser

appearance as argument number 1

(instance CeilingFn UnaryFunction)	Merge.kif 4893-4893	Ceiling is an instance of unary function
(instance CeilingFn TotalValuedRelation)	Merge.kif 4894-4894	Ceiling is an instance of total valued relation
(domain CeilingFn 1 RealNumber)	Merge.kif 4895-4895	The number 1 argument of ceiling is an instance of real number
(range CeilingFn Integer)	Merge.kif 4896-4896	The range of ceiling is an instance of integer
(documentation CeilingFn EnglishLanguage "(CeilingFn ?NUMBER) returns the smallest Integer greater than or equal to the RealNumber ?NUMBER.")	Merge.kif 4898-4899	The range of ceiling is an instance of integer

appearance as argument number 2

(termFormat EnglishLanguage CeilingFn "ceiling")	domainEnglishFormat.kif 13638-13638
(termFormat ChineseTraditionalLanguage CeilingFn "天花板")	domainEnglishFormat.kif 13639-13639
(termFormat ChineseLanguage CeilingFn "天花板")	domainEnglishFormat.kif 13640-13640
(format EnglishLanguage CeilingFn "the ceiling of %1")	english_format.kif 692-692

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

If All of the following hold: (1) equal X and the reverse of Y (2) equal Z and the length of Y (3) Z is greater than 1 (4) W is greater than 0 (5) W is less than Z (6) equal V and the ceiling of (Z and 1) and 2 (7) equal U and ((V and W) and V) (8) equal T and the sub-string of Y from W to (1 and W), then equal T and the sub-string of X from U to (1 and U)

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: