Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ReverseFn |
| appearance as argument number 1 |
|
| (instance ReverseFn UnaryFunction) | Media.kif 2990-2990 | The reverse of is an instance of unary function |
| (domain ReverseFn 1 SymbolicString) | Media.kif 2991-2991 | The number 1 argument of the reverse of is an instance of symbolic string |
| (range ReverseFn SymbolicString) | Media.kif 2992-2992 | The range of the reverse of is an instance of symbolic string |
| (documentation ReverseFn EnglishLanguage "The reverse of a string.") | Media.kif 2993-2993 | The range of the reverse of is an instance of symbolic string |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ReverseFn "the reverse of") | Media.kif 2994-2994 | |
| (format EnglishLanguage ReverseFn "the reverse of %1") | Media.kif 2995-2995 |
| 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 2997-3018 | If All of the following hold: (1) equal X and the reverse of Y (2) equal Z and the length of Y (3) Z is greater than 1 (4) W is greater than 0 (5) W is less than Z (6) equal V and the ceiling of (Z and 1) and 2 (7) equal U and ((V and W) and V) (8) equal T and the sub-string of Y from W to (1 and W), then equal T and the sub-string of X from U to (1 and U) |
| consequent |
|
|
| (=> (and (instance ?WORD Palindrome) (spellingInLanguage ?LANGUAGE ?WORD ?SYMBOLICSTRING)) (equal ?SYMBOLICSTRING (ReverseFn ?SYMBOLICSTRING))) |
Media.kif 3025-3030 | If X is an instance of palindrome and X in Language Y is spelt as Z., then equal Y and the reverse of Y |
|