TreeView Knowledge Base Browser

appearance as argument number 1

(instance ReverseFn UnaryFunction)	Media.kif 2990-2990	The reverse of is an instance of unary function
(domain ReverseFn 1 SymbolicString)	Media.kif 2991-2991	The number 1 argument of the reverse of is an instance of symbolic string
(range ReverseFn SymbolicString)	Media.kif 2992-2992	The range of the reverse of is an instance of symbolic string
(documentation ReverseFn EnglishLanguage "The reverse of a string.")	Media.kif 2993-2993	The range of the reverse of is an instance of symbolic string

appearance as argument number 2

(termFormat EnglishLanguage ReverseFn "the reverse of")	Media.kif 2994-2994
(format EnglishLanguage ReverseFn "the reverse of %1")	Media.kif 2995-2995

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)

consequent

(=>
    (and
        (instance ?WORD Palindrome)
        (spellingInLanguage ?LANGUAGE ?WORD ?SYMBOLICSTRING))
    (equal ?SYMBOLICSTRING
        (ReverseFn ?SYMBOLICSTRING)))

Media.kif 3025-3030

If X is an instance of palindrome and X in Language Y is spelt as Z., then equal Y and the reverse of Y

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

KB Term:			Term intersection

English Word: