Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SubstringFn

Sigma KEE - SubstringFn
SubstringFn

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 24500-24512
(domain SubstringFn 1 SymbolicString) Mid-level-ontology.kif 24496-24496 Le nombre 1 argument de SubstringFn est une instance de cha�ne sympbolique
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 24497-24497 Le nombre 2 argument de SubstringFn est une instance de nombre entier non n�gatif
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 24498-24498 Le nombre 3 argument de SubstringFn est une instance de nombre entier non n�gatif
(instance SubstringFn PartialValuedRelation) Mid-level-ontology.kif 24494-24494 SubstringFn est une instance de relation partielle
(instance SubstringFn SingleValuedRelation) Mid-level-ontology.kif 24495-24495 SubstringFn est une instance de relation simple
(instance SubstringFn TernaryFunction) Mid-level-ontology.kif 24493-24493 SubstringFn est une instance de fonction ternaire
(range SubstringFn SymbolicString) Mid-level-ontology.kif 24499-24499 Le domaine de SubstringFn est une instance de cha�ne sympbolique

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

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
(=>
    (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
(=>
    (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
(=>
    (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

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


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

Show without tree


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