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 22140-22152
(domain SubstringFn 1 SymbolicString) Mid-level-ontology.kif 22136-22136
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 22137-22137
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 22138-22138
(instance SubstringFn PartialValuedRelation) Mid-level-ontology.kif 22134-22134
(instance SubstringFn SingleValuedRelation) Mid-level-ontology.kif 22135-22135
(instance SubstringFn TernaryFunction) Mid-level-ontology.kif 22133-22133
(range SubstringFn SymbolicString) Mid-level-ontology.kif 22139-22139

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


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