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 24477-24489 | |
(domain SubstringFn 1 SymbolicString) | Mid-level-ontology.kif 24473-24473 | SubstringFn の数値 1 引数は 記号文字列 の instance では %n |
(domain SubstringFn 2 NonnegativeInteger) | Mid-level-ontology.kif 24474-24474 | SubstringFn の数値 2 引数は 非負整数 の instance では %n |
(domain SubstringFn 3 NonnegativeInteger) | Mid-level-ontology.kif 24475-24475 | SubstringFn の数値 3 引数は 非負整数 の instance では %n |
(instance SubstringFn PartialValuedRelation) | Mid-level-ontology.kif 24471-24471 | SubstringFn は 部分的価値関係 の instance では %n |
(instance SubstringFn SingleValuedRelation) | Mid-level-ontology.kif 24472-24472 | SubstringFn は 一価関係 の instance では %n |
(instance SubstringFn TernaryFunction) | Mid-level-ontology.kif 24470-24470 | SubstringFn は 3変数関数 の instance では %n |
(range SubstringFn SymbolicString) | Mid-level-ontology.kif 24476-24476 | SubstringFn の range は 記号文字列 のインスタンス では %n |
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 65556-65556 |
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 3050-3071 |
|