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

Formal Language: 



KB Term:  Term intersection
English Word: 

  stringLength

 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 24350-24354
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 24348-24348 The number 1 argument of string length is an instance of nonnegative integer
(domain stringLength 2 SymbolicString) Mid-level-ontology.kif 24349-24349 The number 2 argument of string length is an instance of symbolic string
(instance stringLength BinaryPredicate) Mid-level-ontology.kif 24345-24345 string length is an instance of binary predicate
(instance stringLength SingleValuedRelation) Mid-level-ontology.kif 24347-24347 string length is an instance of single valued relation
(instance stringLength TotalValuedRelation) Mid-level-ontology.kif 24346-24346 string length is an instance of total valued relation

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


(format ChineseLanguage stringLength "%2 是 %1 characters long ") domainEnglishFormat.kif 4678-4678
(format ChineseTraditionalLanguage stringLength "%2 是 %1 characters long ") domainEnglishFormat.kif 4677-4677
(format EnglishLanguage stringLength "%2 is %1 characters long") domainEnglishFormat.kif 4676-4676
(termFormat EnglishLanguage stringLength "string length") domainEnglishFormat.kif 66418-66418

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


(<=>
    (stringLength ?INT ?STRING)
    (equal ?INT
        (StringLengthFn ?STRING)))		 Mid-level-ontology.kif 24356-24358 A symbolic string is a nonnegative integer characters long if and only if the nonnegative integer is equal to the length of the symbolic string
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners