TreeView Knowledge Base Browser

appearance as argument number 1

(instance SubstringFn TernaryFunction)	Mid-level-ontology.kif 26712-26712	Substring fn is an instance of ternary function
(instance SubstringFn PartialValuedRelation)	Mid-level-ontology.kif 26713-26713	Substring fn is an instance of partial valued relation
(instance SubstringFn SingleValuedRelation)	Mid-level-ontology.kif 26714-26714	Substring fn is an instance of single valued relation
(domain SubstringFn 1 SymbolicString)	Mid-level-ontology.kif 26715-26715	The number 1 argument of substring fn is an instance of symbolic string
(domain SubstringFn 2 NonnegativeInteger)	Mid-level-ontology.kif 26716-26716	The number 2 argument of substring fn is an instance of nonnegative integer
(domain SubstringFn 3 NonnegativeInteger)	Mid-level-ontology.kif 26717-26717	The number 3 argument of substring fn is an instance of nonnegative integer
(range SubstringFn SymbolicString)	Mid-level-ontology.kif 26718-26718	The range of substring fn is an instance of symbolic string
(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 26719-26731	The range of substring fn is an instance of symbolic string

appearance as argument number 2

(format EnglishLanguage SubstringFn "the sub-string of %1 from %2 to %3")	domainEnglishFormat.kif 4708-4708
(format ChineseTraditionalLanguage SubstringFn "%1 的 sub-string 從 %2 對於 %3 ")	domainEnglishFormat.kif 4709-4709
(format ChineseLanguage SubstringFn "%1 的 sub-string 从 %2 对于 %3 ")	domainEnglishFormat.kif 4710-4710
(termFormat EnglishLanguage SubstringFn "substring fn")	domainEnglishFormat.kif 65557-65557

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 2836-2842	If X in ISO_4217_A denotes Y, Z in ISO_3166_1_alpha_2 denotes W, W is an instance of geopolitical area, and equal Z and the sub-string of X from 0 to 2, then Y is a currency type of W
(=> (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 2997-3018	If All of the following hold: (1) equal X and the reverse of Y (2) equal Z and the length of Y (3) Z is greater than 1 (4) W is greater than 0 (5) W is less than Z (6) equal V and the ceiling of (Z and 1) and 2 (7) equal U and ((V and W) and V) (8) equal T and the sub-string of Y from W to (1 and W), then equal T and the sub-string of X from U to (1 and U)
(=> (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 3234-3241	If the index order name of X is Y, Z is a key in Y, equal W and the length of Z, equal V and the length of Y, and equal U and the sub-string of Y from W to V, then the concatenation of Z and U is Y
(=> (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 3261-3268	If X is the indexable name for Y, Z is a key in X, equal W and the length of Z, equal V and the length of X, and equal U and the sub-string of X from W to V, then the concatenation of Z and U is X

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 2997-3018

If All of the following hold: (1) equal X and the reverse of Y (2) equal Z and the length of Y (3) Z is greater than 1 (4) W is greater than 0 (5) W is less than Z (6) equal V and the ceiling of (Z and 1) and 2 (7) equal U and ((V and W) and V) (8) equal T and the sub-string of Y from W to (1 and W), then equal T and the sub-string of X from U to (1 and U)

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

KB Term:			Term intersection

English Word: