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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 24477-24489
(domain SubstringFn 1 SymbolicString) Mid-level-ontology.kif 24473-24473 Die Zahl 1 Argument von SubstringFn ist ein fall von SymbolicString %n{nicht}
(domain SubstringFn 2 NonnegativeInteger) Mid-level-ontology.kif 24474-24474 Die Zahl 2 Argument von SubstringFn ist ein fall von NonnegativeInteger %n{nicht}
(domain SubstringFn 3 NonnegativeInteger) Mid-level-ontology.kif 24475-24475 Die Zahl 3 Argument von SubstringFn ist ein fall von NonnegativeInteger %n{nicht}
(instance SubstringFn PartialValuedRelation) Mid-level-ontology.kif 24471-24471 SubstringFn ist ein fall von PartialValuedRelation %n{nicht}
(instance SubstringFn SingleValuedRelation) Mid-level-ontology.kif 24472-24472 SubstringFn ist ein fall von SingleValuedRelation %n{nicht}
(instance SubstringFn TernaryFunction) Mid-level-ontology.kif 24470-24470 SubstringFn ist ein fall von TernaryFunction %n{nicht}
(range SubstringFn SymbolicString) Mid-level-ontology.kif 24476-24476 bildbereich von SubstringFn ist ein fall von SymbolicString {nicht}

appearance as argument number 2
-------------------------


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

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 3050-3071
(=>
    (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 3301-3308
(=>
    (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 3328-3335

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 3050-3071


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



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