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 | ReverseFn 的 1 数量 是 符号串 的 instance |
(instance ReverseFn UnaryFunction) | Media.kif 3061-3061 | ReverseFn 是 一元函数 的 instance |
(range ReverseFn SymbolicString) | Media.kif 3063-3063 | ReverseFn 的 range 是 符号串 的实例 |
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 |
|
consequent |
(=> (and (instance ?WORD Palindrome) (spellingInLanguage ?LANGUAGE ?WORD ?SYMBOLICSTRING)) (equal ?SYMBOLICSTRING (ReverseFn ?SYMBOLICSTRING))) |
Media.kif 3096-3101 |