TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ReverseFn EnglishLanguage "The reverse of a string.")	Media.kif 3048-3048
(domain ReverseFn 1 SymbolicString)	Media.kif 3046-3046	The number 1 argument of the reverse of is an instance of symbolic string
(instance ReverseFn UnaryFunction)	Media.kif 3045-3045	The reverse of is an instance of unary function
(range ReverseFn SymbolicString)	Media.kif 3047-3047	The range of the reverse of is an instance of symbolic string

appearance as argument number 2

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

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

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

consequent

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

Media.kif 3080-3085

If a word is an instance of palindrome and the word in Language a language is spelt as a symbolic string.,
then equal the language and the reverse of the language

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

KB Term:			Term intersection

English Word: