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 21779-21791
(domain SubstringFn 1 SymbolicString) Mid-level-ontology.kif 21775-21775
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 21776-21776
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 21777-21777
(instance SubstringFn PartialValuedRelation) Mid-level-ontology.kif 21773-21773
(instance SubstringFn SingleValuedRelation) Mid-level-ontology.kif 21774-21774
(instance SubstringFn TernaryFunction) Mid-level-ontology.kif 21772-21772
(range SubstringFn SymbolicString) Mid-level-ontology.kif 21778-21778

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
        (equal ?SUB
            (SubstringFn ?STRING ?START ?END))
        (equal ?LEN
            (StringLengthFn ?STRING)))
    (and
        (lessThanOrEqualTo ?START ?END)
        (lessThan ?START ?LEN)
        (lessThanOrEqualTo ?END ?LEN)))
Mid-level-ontology.kif 21793-21800
(=>
    (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