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	Die Zahl 1 Argument von ReverseFn ist ein fall von SymbolicString %n{nicht}
(instance ReverseFn UnaryFunction)	Media.kif 3061-3061	ReverseFn ist ein fall von UnaryFunction %n{nicht}
(range ReverseFn SymbolicString)	Media.kif 3063-3063	bildbereich von ReverseFn ist ein fall von SymbolicString {nicht}

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

Wenn SymbolicString ist gleich ReverseFn ** SymbolicString %n{nicht} und NonnegativeInteger ist gleich StringLengthFn ** ** SymbolicString %n{nicht} und ** NonnegativeInteger ist groesserAls 1 %n{nicht} und ** NonnegativeInteger ist groesserAls 0 %n{nicht} und ** ** NonnegativeInteger ist kleinerAls ** NonnegativeInteger %n{nicht} und Integer ist gleich die oberstegrenze von (** NonnegativeInteger und 1) und 2 %n{nicht} und ** ** NonnegativeIntegerEW ist gleich ((** Integer und ** ** NonnegativeInteger) und ** Integer) %n{nicht} und ** SymbolicString ist gleich SubstringFn ** ** SymbolicString, ** ** NonnegativeInteger and (1 und ** ** NonnegativeInteger) %n{nicht},
dann ** ** SymbolicString ist gleich SubstringFn ** SymbolicString, ** ** NonnegativeIntegerEW and (1 und ** ** NonnegativeIntegerEW) %n{nicht}

consequent

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

Media.kif 3096-3101

Wenn Word ist ein fall von Palindrome %n{nicht} und spellingInLanguage SymbolicString, ** Word and Language,
dann ** Language ist gleich ReverseFn ** Language %n{nicht}

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

KB Term:			Term intersection

English Word: