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 26073-26085
(domain SubstringFn 1 SymbolicString)	Mid-level-ontology.kif 26069-26069	The number 1 argument of substring fn is an instance of symbolic string
(domain SubstringFn 2 NonnegativeInteger)	Mid-level-ontology.kif 26070-26070	The number 2 argument of substring fn is an instance of nonnegative integer
(domain SubstringFn 3 NonnegativeInteger)	Mid-level-ontology.kif 26071-26071	The number 3 argument of substring fn is an instance of nonnegative integer
(instance SubstringFn PartialValuedRelation)	Mid-level-ontology.kif 26067-26067	Substring fn is an instance of partial valued relation
(instance SubstringFn SingleValuedRelation)	Mid-level-ontology.kif 26068-26068	Substring fn is an instance of single valued relation
(instance SubstringFn TernaryFunction)	Mid-level-ontology.kif 26066-26066	Substring fn is an instance of ternary function
(range SubstringFn SymbolicString)	Mid-level-ontology.kif 26072-26072	The range of substring fn is an instance of symbolic string

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 65547-65547

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	If a symbolic string in ISO_4217_A denotes an unit of currency and another symbolic string in ISO_3166_1_alpha_2 denotes a geopolitical area and the geopolitical area is an instance of geopolitical area and equal the other symbolic string and the sub-string of the symbolic string from 0 to 2, then the unit of currency is a currency type of the geopolitical area
(=> (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	If equal a symbolic string and the reverse of another symbolic string and equal a nonnegative integer and the length of the other symbolic string and the nonnegative integer is greater than 1 and another nonnegative integer is greater than 0 and the other nonnegative integer is less than the nonnegative integer and equal an integer and the ceiling of (the nonnegative integer and 1) and 2 and equal the other nonnegative integerEW and ((the integer and the other nonnegative integer) and the integer) and equal a third symbolic string and the sub-string of the other symbolic string from the other nonnegative integer to (1 and the other nonnegative integer), then equal the third symbolic string and the sub-string of the symbolic string from the other nonnegative integerEW to (1 and the other nonnegative integerEW)
(=> (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	If the index order name of an entity is a symbolic string and another symbolic string is a key in the symbolic string and equal a nonnegative integer and the length of the other symbolic string and equal another nonnegative integer and the length of the symbolic string and equal a third symbolic string and the sub-string of the symbolic string from the nonnegative integer to the other nonnegative integer, then the concatenation of the other symbolic string and the third symbolic string is the symbolic string
(=> (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	If a symbolic string is the &ameIndexOrder$"indexable" &ameIndexOrder$"name" for an entity and another symbolic string is a key in the symbolic string and equal a nonnegative integer and the length of the other symbolic string and equal another nonnegative integer and the length of the symbolic string and equal a third symbolic string and the sub-string of the symbolic string from the nonnegative integer to the other nonnegative integer, then the concatenation of the other symbolic string and the third symbolic string is the symbolic string

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

If equal a symbolic string and the reverse of another symbolic string and equal a nonnegative integer and the length of the other symbolic string and the nonnegative integer is greater than 1 and another nonnegative integer is greater than 0 and the other nonnegative integer is less than the nonnegative integer and equal an integer and the ceiling of (the nonnegative integer and 1) and 2 and equal the other nonnegative integerEW and ((the integer and the other nonnegative integer) and the integer) and equal a third symbolic string and the sub-string of the other symbolic string from the other nonnegative integer to (1 and the other nonnegative integer),
then equal the third symbolic string and the sub-string of the symbolic string from the other nonnegative integerEW to (1 and the other nonnegative integerEW)

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

KB Term:			Term intersection

English Word: