TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ReverseFn EnglishLanguage "The reverse of a string.")	Media.kif 3046-3046
(domain ReverseFn 1 SymbolicString)	Media.kif 3044-3044	域 ReverseFn, 1 and SymbolicString
(instance ReverseFn UnaryFunction)	Media.kif 3043-3043	例 ReverseFn and UnaryFunction
(range ReverseFn SymbolicString)	Media.kif 3045-3045	範圍 ReverseFn and SymbolicString

appearance as argument number 2

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

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 3050-3071

等於 SymbolicString and ReverseFn SymbolicString 等於 NonnegativeInteger and SymbolicString 的 length 比較多 NonnegativeInteger and 1 比較多 NonnegativeInteger and 0 少於 NonnegativeInteger and NonnegativeInteger 等於 Integer and 天花板部減法 NonnegativeInteger and 1 and 2 等於 NonnegativeIntegerEW and 加成減法 Integer and NonnegativeInteger and Integer 等於 SymbolicString and SymbolicString 的 sub-string 從 NonnegativeInteger 對於加成 1 and NonnegativeInteger
等於 SymbolicString and SymbolicString 的 sub-string 從 NonnegativeIntegerEW 對於加成 1 and NonnegativeIntegerEW

consequent

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

Media.kif 3078-3083

例 Word and Palindrome spellingInLanguage SymbolicString, Word and Language
等於 Language and ReverseFn Language

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

KB Term:			Term intersection

English Word: