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 26113-26117
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 26111-26111 The number 1 argument of string length is an instance of nonnegative integer
(domain stringLength 2 SymbolicString) Mid-level-ontology.kif 26112-26112 The number 2 argument of string length is an instance of symbolic string
(instance stringLength BinaryPredicate) Mid-level-ontology.kif 26108-26108 string length is an instance of binary predicate
(instance stringLength SingleValuedRelation) Mid-level-ontology.kif 26110-26110 string length is an instance of single valued relation
(instance stringLength TotalValuedRelation) Mid-level-ontology.kif 26109-26109 string length is an instance of total valued relation

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


(format ChineseLanguage stringLength "%2 是 %1 characters long ") domainEnglishFormat.kif 4674-4674
(format ChineseTraditionalLanguage stringLength "%2 是 %1 characters long ") domainEnglishFormat.kif 4673-4673
(format EnglishLanguage stringLength "%2 is %1 characters long") domainEnglishFormat.kif 4672-4672
(termFormat EnglishLanguage stringLength "string length") domainEnglishFormat.kif 65969-65969

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


(<=>
    (stringLength ?INT ?STRING)
    (equal ?INT
        (StringLengthFn ?STRING)))		 Mid-level-ontology.kif 26119-26121 A symbolic string is a nonnegative integer characters long if and only if equal the nonnegative integer and the length of the symbolic string
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 2 ?STRING))
    (instance ?STRING Alpha2String))		 Media.kif 2994-2998
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 3 ?STRING))
    (instance ?STRING Alpha3String))		 Media.kif 2979-2983
(=>
    (and
        (instance ?STRING DecimalDigitString)
        (stringLength 4 ?STRING))
    (instance ?STRING NumericString4))		 Media.kif 2961-2965

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


(=>
    (codeMapping ISO_3166_1_alpha_2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))		 Media.kif 2638-2643
(=>
    (codeMapping ISO_4217_A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))		 Media.kif 2288-2293
(=>
    (codeMapping ISO_639_1 ?TOKEN ?X)
    (stringLength 2 ?TOKEN))		 Languages.kif 14711-14713
(=>
    (instance ?STRING Alpha2String)
    (stringLength 2 ?STRING))		 Media.kif 2990-2992
(=>
    (instance ?STRING Alpha3String)
    (stringLength 3 ?STRING))		 Media.kif 2975-2977
(=>
    (instance ?STRING NumericString4)
    (stringLength 4 ?STRING))		 Media.kif 2957-2959


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