ReverseFn |
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 |
consequent |
(=> (and (instance ?WORD Palindrome) (spellingInLanguage ?LANGUAGE ?WORD ?SYMBOLICSTRING)) (equal ?SYMBOLICSTRING (ReverseFn ?SYMBOLICSTRING))) |
Media.kif 3096-3101 |
|