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 22225-22229
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 22223-22223 domain stringLength, 1 and NonnegativeInteger
(domain stringLength 2 SymbolicString) Mid-level-ontology.kif 22224-22224 domain stringLength, 2 and SymbolicString
(instance stringLength AsymmetricRelation) Mid-level-ontology.kif 22222-22222 instance stringLength and AsymmetricRelation
(instance stringLength BinaryPredicate) Mid-level-ontology.kif 22219-22219 instance stringLength and BinaryPredicate
(instance stringLength SingleValuedRelation) Mid-level-ontology.kif 22221-22221 instance stringLength and SingleValuedRelation
(instance stringLength TotalValuedRelation) Mid-level-ontology.kif 22220-22220 instance stringLength and TotalValuedRelation

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


(format ChineseLanguage stringLength "%2 是 %1 characters long ") domainEnglishFormat.kif 4675-4675
(format ChineseTraditionalLanguage stringLength "%2 是 %1 characters long ") domainEnglishFormat.kif 4674-4674
(format EnglishLanguage stringLength "%2 is %1 characters long") domainEnglishFormat.kif 4673-4673

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


(<=>
    (stringLength ?INT ?STRING)
    (equal ?INT
        (StringLengthFn ?STRING)))
Mid-level-ontology.kif 22231-22233 stringLength NonnegativeInteger and SymbolicString equal NonnegativeInteger and StringLengthFn SymbolicString
(=>
    (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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners