SubstringFn - Sigma Knowledge base Browser

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

(=> (and (codeMapping ISO_4217_A ?A3 ?CURRENCY) (codeMapping ISO_3166_1_alpha_2 ?A2 ?AREA) (instance ?AREA GeopoliticalArea) (equal ?A2 (SubstringFn ?A3 0 2))) (currencyType ?AREA ?CURRENCY))	Media.kif 2891-2897	codeMapping ISO_4217_A, 記号文字列 and UnitOfCurrency codeMapping ISO_3166_1_alpha_2, 記号文字列 and 地政学的地域地政学的地域は地政学的地域の instance では equal 記号文字列 and SubstringFn 記号文字列, 0 and 2 currencyType 地政学的地域 and UnitOfCurrency
(=> (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	equal 記号文字列 and ReverseFn 記号文字列 equal 非負整数 and StringLengthFn 記号文字列非負整数は 1 より greater では　非負整数は 0 より greater では　非負整数は非負整数より less では equal 整数 and ( 非負整数 + 1) + 2 の ceiling equal 非負整数EW and (( 整数 + 非負整数) + 整数) equal 記号文字列 and SubstringFn 記号文字列, 非負整数 and (1 + 非負整数) equal 記号文字列 and SubstringFn 記号文字列, 非負整数EW and (1 + 非負整数EW)
(=> (and (fullNameIndexOrder ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (equal ?START (StringLengthFn ?FIRST)) (equal ?END (StringLengthFn ?NAMESTRING)) (equal ?REST (SubstringFn ?NAMESTRING ?START ?END))) (stringConcatenation ?FIRST ?REST ?NAMESTRING))	Media.kif 3303-3310	fullNameIndexOrder 記号文字列 and エンティティー keyName 記号文字列 and 記号文字列 equal 非負整数 and StringLengthFn 記号文字列 equal 非負整数 and StringLengthFn 記号文字列 equal 記号文字列 and SubstringFn 記号文字列, 非負整数 and 非負整数 stringConcatenation 記号文字列, 記号文字列 and 記号文字列
(=> (and (nameIndexOrder ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (equal ?START (StringLengthFn ?FIRST)) (equal ?END (StringLengthFn ?NAMESTRING)) (equal ?REST (SubstringFn ?NAMESTRING ?START ?END))) (stringConcatenation ?FIRST ?REST ?NAMESTRING))	Media.kif 3330-3337	nameIndexOrder 記号文字列 and エンティティー keyName 記号文字列 and 記号文字列 equal 非負整数 and StringLengthFn 記号文字列 equal 非負整数 and StringLengthFn 記号文字列 equal 記号文字列 and SubstringFn 記号文字列, 非負整数 and 非負整数 stringConcatenation 記号文字列, 記号文字列 and 記号文字列

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

equal 記号文字列 and ReverseFn 記号文字列 equal 非負整数 and StringLengthFn 記号文字列非負整数は 1 より greater では　非負整数は 0 より greater では　非負整数は非負整数より less では equal 整数 and ( 非負整数 + 1) + 2 の ceiling equal 非負整数EW and (( 整数 + 非負整数) + 整数) equal 記号文字列 and SubstringFn 記号文字列, 非負整数 and (1 + 非負整数)
equal 記号文字列 and SubstringFn 記号文字列, 非負整数EW and (1 + 非負整数EW)

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: