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 23833-23837
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 23831-23831
(domain stringLength 2 SymbolicString) Mid-level-ontology.kif 23832-23832
(instance stringLength BinaryPredicate) Mid-level-ontology.kif 23828-23828
(instance stringLength SingleValuedRelation) Mid-level-ontology.kif 23830-23830
(instance stringLength TotalValuedRelation) Mid-level-ontology.kif 23829-23829

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 23839-23841
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 2 ?STRING))
    (instance ?STRING Alpha2String))		 Media.kif 2980-2984
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 3 ?STRING))
    (instance ?STRING Alpha3String))		 Media.kif 2965-2969
(=>
    (and
        (instance ?STRING DecimalDigitString)
        (stringLength 4 ?STRING))
    (instance ?STRING NumericString4))		 Media.kif 2947-2951

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


(=>
    (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))		 Media.kif 2624-2629
(=>
    (codeMapping ISO-4217-A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))		 Media.kif 2277-2282
(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (stringLength 2 ?TOKEN))		 Languages.kif 14711-14713
(=>
    (instance ?STRING Alpha2String)
    (stringLength 2 ?STRING))		 Media.kif 2976-2978
(=>
    (instance ?STRING Alpha3String)
    (stringLength 3 ?STRING))		 Media.kif 2961-2963
(=>
    (instance ?STRING NumericString4)
    (stringLength 4 ?STRING))		 Media.kif 2943-2945


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