ReverseFn - Sigma 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	O argumento numero 1 de ReverseFn e' uma instancia de Sequencia Simbolica
(instance ReverseFn UnaryFunction)	Media.kif 3061-3061	ReverseFn e' uma instancia de funcao Unaria
(range ReverseFn SymbolicString)	Media.kif 3063-3063	O contra-dominio de ReverseFn e' uma instancia de Sequencia Simbolica

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

Sequencia Simbolica e' igual a ReverseFn Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica Numero Inteiro nao-negativo e' maior que 1 Numero Inteiro nao-negativo e' maior que 0 Numero Inteiro nao-negativo e' menos que Numero Inteiro nao-negativo Numero Inteiro e' igual a o teto de ( Numero Inteiro nao-negativo + 1) + 2 Numero Inteiro nao-negativoEW e' igual a (( Numero Inteiro + Numero Inteiro nao-negativo) + Numero Inteiro) Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativo and (1 + Numero Inteiro nao-negativo)
Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativoEW and (1 + Numero Inteiro nao-negativoEW)

consequent

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

Media.kif 3096-3101

Palavra e' uma instancia de Palindrome spellingInLanguage Sequencia Simbolica, Palavra and Linguagem
Linguagem e' igual a ReverseFn Linguagem

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: