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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - stringLength
stringLength

appearance as argument number 1
-------------------------


(documentation stringLength EnglishLanguage "(stringLength ?NonnegativeInteger ?SymbolicString) means that the number of Characters in ?SymbolicString is ?NonnegativeInteger. Example: (stringLength 14 "Charles Darwin"), which is a True Sentence.") Mid-level-ontology.kif 24460-24464
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 24458-24458 Die Zahl 1 Argument von stringLength ist ein fall von NonnegativeInteger %n{nicht}
(domain stringLength 2 SymbolicString) Mid-level-ontology.kif 24459-24459 Die Zahl 2 Argument von stringLength ist ein fall von SymbolicString %n{nicht}
(instance stringLength BinaryPredicate) Mid-level-ontology.kif 24455-24455 stringLength ist ein fall von BinaryPredicate %n{nicht}
(instance stringLength SingleValuedRelation) Mid-level-ontology.kif 24457-24457 stringLength ist ein fall von SingleValuedRelation %n{nicht}
(instance stringLength TotalValuedRelation) Mid-level-ontology.kif 24456-24456 stringLength ist ein fall von TotalValuedRelation %n{nicht}

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


(format ChineseLanguage stringLength "%2 是 %1 characters long ") domainEnglishFormat.kif 4670-4670
(format ChineseTraditionalLanguage stringLength "%2 是 %1 characters long ") domainEnglishFormat.kif 4669-4669
(format EnglishLanguage stringLength "%2 is %1 characters long") domainEnglishFormat.kif 4668-4668
(termFormat EnglishLanguage stringLength "string length") domainEnglishFormat.kif 65943-65943

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


(<=>
    (stringLength ?INT ?STRING)
    (equal ?INT
        (StringLengthFn ?STRING)))		 Mid-level-ontology.kif 24466-24468 stringLength NonnegativeInteger and SymbolicString genau dann wenn ** NonnegativeInteger ist gleich StringLengthFn ** SymbolicString %n{nicht}
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 2 ?STRING))
    (instance ?STRING Alpha2String))		 Media.kif 2992-2996
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 3 ?STRING))
    (instance ?STRING Alpha3String))		 Media.kif 2977-2981
(=>
    (and
        (instance ?STRING DecimalDigitString)
        (stringLength 4 ?STRING))
    (instance ?STRING NumericString4))		 Media.kif 2959-2963

consequent
-------------------------


(=>
    (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))		 Media.kif 2636-2641
(=>
    (codeMapping ISO-4217-A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))		 Media.kif 2286-2291
(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (stringLength 2 ?TOKEN))		 Languages.kif 14711-14713
(=>
    (instance ?STRING Alpha2String)
    (stringLength 2 ?STRING))		 Media.kif 2988-2990
(=>
    (instance ?STRING Alpha3String)
    (stringLength 3 ?STRING))		 Media.kif 2973-2975
(=>
    (instance ?STRING NumericString4)
    (stringLength 4 ?STRING))		 Media.kif 2955-2957


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