ReverseFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ReverseFn EnglishLanguage "The reverse of a string.")	Media.kif 3032-3032
(domain ReverseFn 1 SymbolicString)	Media.kif 3030-3030	domain ReverseFn, 1 and SymbolicString
(instance ReverseFn UnaryFunction)	Media.kif 3029-3029	instance ReverseFn and UnaryFunction
(range ReverseFn SymbolicString)	Media.kif 3031-3031	range ReverseFn and SymbolicString

appearance as argument number 2

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

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 3036-3057

equal SymbolicString and ReverseFn SymbolicString equal NonnegativeInteger and StringLengthFn SymbolicString greaterThan NonnegativeInteger and 1 greaterThan NonnegativeInteger and 0 lessThan NonnegativeInteger and NonnegativeInteger equal Integer and CeilingFn DivisionFn SubtractionFn NonnegativeInteger and 1 and 2 equal NonnegativeIntegerEW and AdditionFn SubtractionFn Integer and NonnegativeInteger and Integer equal SymbolicString and SubstringFn SymbolicString, NonnegativeInteger and AdditionFn 1 and NonnegativeInteger
equal SymbolicString and SubstringFn SymbolicString, NonnegativeIntegerEW and AdditionFn 1 and NonnegativeIntegerEW

consequent

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

Media.kif 3064-3069

instance Word and Palindrome spellingInLanguage SymbolicString, Word and Language
equal Language and ReverseFn Language

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: