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 22171-22183
(domain SubstringFn 1 SymbolicString) Mid-level-ontology.kif 22167-22167 The number 1 argument of SubstringFn is an instance of symbolic string
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 22168-22168 The number 2 argument of SubstringFn is an instance of nonnegative integer
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 22169-22169 The number 3 argument of SubstringFn is an instance of nonnegative integer
(instance SubstringFn PartialValuedRelation) Mid-level-ontology.kif 22165-22165 SubstringFn is an instance of partial valued relation
(instance SubstringFn SingleValuedRelation) Mid-level-ontology.kif 22166-22166 SubstringFn is an instance of single valued relation
(instance SubstringFn TernaryFunction) Mid-level-ontology.kif 22164-22164 SubstringFn is an instance of ternary function
(range SubstringFn SymbolicString) Mid-level-ontology.kif 22170-22170 The range of SubstringFn 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 1187-1187

antecedent
-------------------------


(=>
    (and
        (codeMapping ISO-4217-A ?A3 ?CURRENCY)
        (codeMapping ISO-3166-1-alpha-2 ?A2 ?AREA)
        (subclass ?AREA GeopoliticalArea)
        (equal ?A2
            (SubstringFn ?A3 0 2)))
    (currencyType ?AREA ?CURRENCY))
Media.kif 2859-2865
(=>
    (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 3255-3262
(=>
    (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 3282-3289


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners