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 | The number 1 argument of the reverse of is an instance of symbolic string |
(instance ReverseFn UnaryFunction) | Media.kif 3061-3061 | The reverse of is an instance of unary function |
(range ReverseFn SymbolicString) | Media.kif 3063-3063 | The range of the reverse of is an instance of symbolic string |
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 |
|