TreeView 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 24708-24720
(domain SubstringFn 1 SymbolicString)	Mid-level-ontology.kif 24704-24704	SubstringFn の数値 1 引数は記号文字列の instance では %n
(domain SubstringFn 2 NonnegativeInteger)	Mid-level-ontology.kif 24705-24705	SubstringFn の数値 2 引数は非負整数の instance では %n
(domain SubstringFn 3 NonnegativeInteger)	Mid-level-ontology.kif 24706-24706	SubstringFn の数値 3 引数は非負整数の instance では %n
(instance SubstringFn PartialValuedRelation)	Mid-level-ontology.kif 24702-24702	SubstringFn は部分的価値関係の instance では %n
(instance SubstringFn SingleValuedRelation)	Mid-level-ontology.kif 24703-24703	SubstringFn は一価関係の instance では %n
(instance SubstringFn TernaryFunction)	Mid-level-ontology.kif 24701-24701	SubstringFn は 3変数関数の instance では %n
(range SubstringFn SymbolicString)	Mid-level-ontology.kif 24707-24707	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 65602-65602

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 3050-3071	記号文字列は 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 3301-3308	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 3328-3335	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 3050-3071

記号文字列は 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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: