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 24369-24381
(domain SubstringFn 1 SymbolicString)	Mid-level-ontology.kif 24365-24365	SubstringFn の数値 1 引数は記号文字列の instance では %n
(domain SubstringFn 2 NonnegativeInteger)	Mid-level-ontology.kif 24366-24366	SubstringFn の数値 2 引数は非負整数の instance では %n
(domain SubstringFn 3 NonnegativeInteger)	Mid-level-ontology.kif 24367-24367	SubstringFn の数値 3 引数は非負整数の instance では %n
(instance SubstringFn PartialValuedRelation)	Mid-level-ontology.kif 24363-24363	SubstringFn は部分的価値関係の instance では %n
(instance SubstringFn SingleValuedRelation)	Mid-level-ontology.kif 24364-24364	SubstringFn は一価関係の instance では %n
(instance SubstringFn TernaryFunction)	Mid-level-ontology.kif 24362-24362	SubstringFn は 3変数関数の instance では %n
(range SubstringFn SymbolicString)	Mid-level-ontology.kif 24368-24368	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 65566-65566

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 2889-2895	codeMapping ISO-4217-A, 記号文字列 and UnitOfCurrency codeMapping ISO-3166-1-alpha-2, 記号文字列 and 地政学的地域地政学的地域は地政学的地域の instance では %n 記号文字列は SubstringFn 記号文字列, 0 and 2 と equal では %n 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 3068-3089	記号文字列は ReverseFn 記号文字列と equal では %n 非負整数は StringLengthFn 記号文字列と equal では %n 非負整数は 1 より greater では　%n 非負整数は 0 より greater では　%n 非負整数は非負整数より less では %n 整数は ( 非負整数 + 1) + 2 の ceiling と equal では %n 非負整数EW は (( 整数 + 非負整数) + 整数) と equal では %n 記号文字列は SubstringFn 記号文字列, 非負整数 and (1 + 非負整数) と equal では %n 記号文字列は SubstringFn 記号文字列, 非負整数EW and (1 + 非負整数EW) と equal では %n
(=> (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 3319-3326	fullNameIndexOrder 記号文字列 and エンティティー keyName 記号文字列 and 記号文字列非負整数は StringLengthFn 記号文字列と equal では %n 非負整数は StringLengthFn 記号文字列と equal では %n 記号文字列は SubstringFn 記号文字列, 非負整数 and 非負整数と equal では %n 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 3346-3353	nameIndexOrder 記号文字列 and エンティティー keyName 記号文字列 and 記号文字列非負整数は StringLengthFn 記号文字列と equal では %n 非負整数は StringLengthFn 記号文字列と equal では %n 記号文字列は SubstringFn 記号文字列, 非負整数 and 非負整数と equal では %n 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 3068-3089

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

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: