SubstringFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage SubstringFn "%1 的 sub-string 从 %2 对于 %3 ") | domainEnglishFormat.kif 4706-4706 | |
(format ChineseTraditionalLanguage SubstringFn "%1 的 sub-string 從 %2 對於 %3 ") | domainEnglishFormat.kif 4705-4705 | |
(format EnglishLanguage SubstringFn "the sub-string of %1 from %2 to %3") | domainEnglishFormat.kif 4704-4704 | |
(termFormat EnglishLanguage SubstringFn "substring fn") | domainEnglishFormat.kif 65554-65554 |
antecedent |
consequent |
(=> (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 |
|