Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ReverseFn
ReverseFn

appearance as argument number 1
-------------------------


(documentation ReverseFn EnglishLanguage "The reverse of a string.") Media.kif 3048-3048
(domain ReverseFn 1 SymbolicString) Media.kif 3046-3046 ReverseFn の数値 1 引数は 記号文字列instance では
(instance ReverseFn UnaryFunction) Media.kif 3045-3045 ReverseFn1変数関数instance では
(range ReverseFn SymbolicString) Media.kif 3047-3047 ReverseFnrange記号文字列 のインスタンス では

appearance as argument number 2
-------------------------


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

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 3052-3073

consequent
-------------------------


(=>
    (and
        (instance ?WORD Palindrome)
        (spellingInLanguage ?LANGUAGE ?WORD ?SYMBOLICSTRING))
    (equal ?SYMBOLICSTRING
        (ReverseFn ?SYMBOLICSTRING)))
Media.kif 3080-3085


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