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 22256-22260
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 22254-22254 The number 1 argument of stringLength is an instance of nonnegative integer
(domain stringLength 2 SymbolicString) Mid-level-ontology.kif 22255-22255 The number 2 argument of stringLength is an instance of symbolic string
(instance stringLength AsymmetricRelation) Mid-level-ontology.kif 22253-22253 stringLength is an instance of asymmetric relation
(instance stringLength BinaryPredicate) Mid-level-ontology.kif 22250-22250 stringLength is an instance of binary predicate
(instance stringLength SingleValuedRelation) Mid-level-ontology.kif 22252-22252 stringLength is an instance of single valued relation
(instance stringLength TotalValuedRelation) Mid-level-ontology.kif 22251-22251 stringLength is an instance of total valued relation

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


(format ChineseLanguage stringLength "%2 是 %1 characters long ") domainEnglishFormat.kif 4679-4679
(format ChineseTraditionalLanguage stringLength "%2 是 %1 characters long ") domainEnglishFormat.kif 4678-4678
(format EnglishLanguage stringLength "%2 is %1 characters long") domainEnglishFormat.kif 4677-4677

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


(<=>
    (stringLength ?INT ?STRING)
    (equal ?INT
        (StringLengthFn ?STRING)))		 Mid-level-ontology.kif 22262-22264 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 2962-2966
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 3 ?STRING))
    (instance ?STRING Alpha3String))		 Media.kif 2947-2951
(=>
    (and
        (instance ?STRING DecimalDigitString)
        (stringLength 4 ?STRING))
    (instance ?STRING NumericString4))		 Media.kif 2929-2933

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


(=>
    (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))		 Media.kif 2606-2611
(=>
    (codeMapping ISO-4217-A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))		 Media.kif 2281-2286
(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (stringLength 2 ?TOKEN))		 Languages.kif 14689-14691
(=>
    (instance ?STRING Alpha2String)
    (stringLength 2 ?STRING))		 Media.kif 2958-2960
(=>
    (instance ?STRING Alpha3String)
    (stringLength 3 ?STRING))		 Media.kif 2943-2945
(=>
    (instance ?STRING NumericString4)
    (stringLength 4 ?STRING))		 Media.kif 2925-2927


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