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 26084-26096
(domain SubstringFn 1 SymbolicString)	Mid-level-ontology.kif 26080-26080	SubstringFn 的 1 数量是符号串的 instance
(domain SubstringFn 2 NonnegativeInteger)	Mid-level-ontology.kif 26081-26081	SubstringFn 的 2 数量是非负整数的 instance
(domain SubstringFn 3 NonnegativeInteger)	Mid-level-ontology.kif 26082-26082	SubstringFn 的 3 数量是非负整数的 instance
(instance SubstringFn PartialValuedRelation)	Mid-level-ontology.kif 26078-26078	SubstringFn 是部分值关系的 instance
(instance SubstringFn SingleValuedRelation)	Mid-level-ontology.kif 26079-26079	SubstringFn 是单值关系的 instance
(instance SubstringFn TernaryFunction)	Mid-level-ontology.kif 26077-26077	SubstringFn 是三元函数的 instance
(range SubstringFn SymbolicString)	Mid-level-ontology.kif 26083-26083	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	如果符号串在 ISO_4217_A denotes UnitOfCurrency 和另一个符号串在 ISO_3166_1_alpha_2 denotes 地缘政治区域和那个地缘政治区域是地缘政治区域的 instance 和那个另外符号串 equal 那个符号串的 sub-string 从 0 对于 2 ，然后那个 UnitOfCurrency 是那个地缘政治区域的 currency 类别
(=> (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 ReverseFn 另一个符号串和非负整数 equal 那个另外符号串的 length 和那个非负整数是 greaterThan 1 和另一个非负整数是 greaterThan 0 和那个另外非负整数是 lessThan 那个非负整数和整数 equal 取(那个非负整数和 1) 和 2 的顶整数和那个另外非负整数EW equal ((那个整数和那个另外非负整数) 和那个整数) 和第三符号串 equal 那个另外符号串的 sub-string 从那个另外非负整数对于 (1 和那个另外非负整数) ，然后那个第三符号串 equal 那个符号串的 sub-string 从那个另外非负整数EW 对于 (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	如果实体的 index order name 是符号串和另一个符号串是在那个符号串的 key 和非负整数 equal 那个另外符号串的 length 和另一个非负整数 equal 那个符号串的 length 和第三符号串 equal 那个符号串的 sub-string 从那个非负整数对于那个另外非负整数，然后那个另外符号串和那个第三符号串的 concatenation 是那个符号串
(=> (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	如果符号串是 &ameIndexOrder$"indexable" &ameIndexOrder$"name" 对于实体和另一个符号串是在那个符号串的 key 和非负整数 equal 那个另外符号串的 length 和另一个非负整数 equal 那个符号串的 length 和第三符号串 equal 那个符号串的 sub-string 从那个非负整数对于那个另外非负整数，然后那个另外符号串和那个第三符号串的 concatenation 是那个符号串

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 ReverseFn 另一个符号串和非负整数 equal 那个另外符号串的 length 和那个非负整数是 greaterThan 1 和另一个非负整数是 greaterThan 0 和那个另外非负整数是 lessThan 那个非负整数和整数 equal 取(那个非负整数和 1) 和 2 的顶整数和那个另外非负整数EW equal ((那个整数和那个另外非负整数) 和那个整数) 和第三符号串 equal 那个另外符号串的 sub-string 从那个另外非负整数对于 (1 和那个另外非负整数) ，
然后那个第三符号串 equal 那个符号串的 sub-string 从那个另外非负整数EW 对于 (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: