SubstringFn |
appearance as argument number 1 |
![]() |
(documentation SubstringFn EnglishLanguage "(SubstringFn ?SymbolicString ?NonnegativeInteger-1 ?NonnegativeInteger-2) denotes a string that is a subString of ?SymbolicString, begins with the Character at the index ?NonnegativeInteger-1, and ends with the Character at the index (SubtractionFn ?NonnegativeInteger-2 1). The first Character in ?SymbolicString is denoted by the index 0. If the value of ?NonnegativeInteger-1 or ?NonnegativeInteger-2 is greater than the value of (StringLengthFn ?SymbolicString), or if ?NonnegativeInteger-1 is greater than ?NonnegativeInteger-2, the result of evaluating the SubstringFn expression is undefined. Example: (equal "Charle" (SubstringFn "Charles Darwin" 0 6)).") | Mid-level-ontology.kif 26082-26094 | |
(domain SubstringFn 1 SymbolicString) | Mid-level-ontology.kif 26078-26078 | SubstringFn の数値 1 引数は 記号文字列 の instance では |
(domain SubstringFn 2 NonnegativeInteger) | Mid-level-ontology.kif 26079-26079 | SubstringFn の数値 2 引数は 非負整数 の instance では |
(domain SubstringFn 3 NonnegativeInteger) | Mid-level-ontology.kif 26080-26080 | SubstringFn の数値 3 引数は 非負整数 の instance では |
(instance SubstringFn PartialValuedRelation) | Mid-level-ontology.kif 26076-26076 | SubstringFn は 部分的価値関係 の instance では |
(instance SubstringFn SingleValuedRelation) | Mid-level-ontology.kif 26077-26077 | SubstringFn は 一価関係 の instance では |
(instance SubstringFn TernaryFunction) | Mid-level-ontology.kif 26075-26075 | SubstringFn は 3変数関数 の instance では |
(range SubstringFn SymbolicString) | Mid-level-ontology.kif 26081-26081 | SubstringFn の range は 記号文字列 のインスタンス では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage SubstringFn "%1 的 sub-string 从 %2 对于 %3 ") | domainEnglishFormat.kif 4710-4710 | |
(format ChineseTraditionalLanguage SubstringFn "%1 的 sub-string 從 %2 對於 %3 ") | domainEnglishFormat.kif 4709-4709 | |
(format EnglishLanguage SubstringFn "the sub-string of %1 from %2 to %3") | domainEnglishFormat.kif 4708-4708 | |
(termFormat EnglishLanguage SubstringFn "substring fn") | domainEnglishFormat.kif 65548-65548 |
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 3052-3073 |
|
![]() |
![]() |