TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ReverseFn EnglishLanguage "The reverse of a string.")	Media.kif 3064-3064
(domain ReverseFn 1 SymbolicString)	Media.kif 3062-3062	Le nombre 1 argument de ReverseFn est une instance de cha�ne sympbolique
(instance ReverseFn UnaryFunction)	Media.kif 3061-3061	ReverseFn est une instance de function unaire
(range ReverseFn SymbolicString)	Media.kif 3063-3063	Le domaine de ReverseFn est une instance de cha�ne sympbolique

appearance as argument number 2

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

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

Cha�ne sympbolique est ReverseFn cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique nombre entier non n�gatif est plus grand que 1 nombre entier non n�gatif est plus grand que 0 nombre entier non n�gatif est moins que nombre entier non n�gatif nombre entier est plafond de ( nombre entier non n�gatif + 1) + 2 nombre entier non n�gatifEW est nombre entier + nombre entier non n�gatif) + nombre entier) cha�ne sympbolique est SubstringFn cha�ne sympbolique, nombre entier non n�gatif and (1 + nombre entier non n�gatif)
cha�ne sympbolique est SubstringFn cha�ne sympbolique, nombre entier non n�gatifEW and (1 + nombre entier non n�gatifEW)

consequent

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

Media.kif 3096-3101

Mot est une instance de Palindrome spellingInLanguage cha�ne sympbolique, mot and langage
langage est ReverseFn langage

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

KB Term:			Term intersection

English Word: