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	ReverseFn の数値 1 引数は記号文字列の instance では %n
(instance ReverseFn UnaryFunction)	Media.kif 3061-3061	ReverseFn は 1変数関数の instance では %n
(range ReverseFn SymbolicString)	Media.kif 3063-3063	ReverseFn の range は記号文字列のインスタンスでは %n

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

記号文字列は ReverseFn 記号文字列と equal では %n 非負整数は StringLengthFn 記号文字列と equal では %n 非負整数は 1 より greater では　%n 非負整数は 0 より greater では　%n 非負整数は非負整数より less では %n 整数は ( 非負整数 + 1) + 2 の ceiling と equal では %n 非負整数EW は (( 整数 + 非負整数) + 整数) と equal では %n 記号文字列は SubstringFn 記号文字列, 非負整数 and (1 + 非負整数) と equal では %n
記号文字列は SubstringFn 記号文字列, 非負整数EW and (1 + 非負整数EW) と equal では %n

consequent

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

Media.kif 3096-3101

単語は Palindrome の instance では %n spellingInLanguage 記号文字列, 単語 and 言語
言語は ReverseFn 言語と equal では %n

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: