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


KB Term:  Term intersection
English Word: 

Sigma KEE - stringLength
stringLength

appearance as argument number 1
-------------------------


(instance stringLength BinaryPredicate) Mid-level-ontology.kif 26754-26754 string length is an instance of binary predicate
(instance stringLength TotalValuedRelation) Mid-level-ontology.kif 26755-26755 string length is an instance of total valued relation
(instance stringLength SingleValuedRelation) Mid-level-ontology.kif 26756-26756 string length is an instance of single valued relation
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 26757-26757 The number 1 argument of string length is an instance of nonnegative integer
(domain stringLength 2 SymbolicString) Mid-level-ontology.kif 26758-26758 The number 2 argument of string length is an instance of symbolic string
(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 26759-26763 The number 2 argument of string length is an instance of symbolic string

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


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

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


(<=>
    (stringLength ?INT ?STRING)
    (equal ?INT
        (StringLengthFn ?STRING)))		 Mid-level-ontology.kif 26765-26767 X is Y characters long if, only if equal Y, and the length of X
(=>
    (and
        (instance ?STRING DecimalDigitString)
        (stringLength 4 ?STRING))
    (instance ?STRING NumericString4))		 Media.kif 2906-2910 If X is an instance of decimal digit string and X is 4 characters long, then X is an instance of numeric string4
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 3 ?STRING))
    (instance ?STRING Alpha3String))		 Media.kif 2924-2928 If X is an instance of alphabetic string and X is 3 characters long, then X is an instance of alpha3 string
(=>
    (and
        (instance ?STRING AlphabeticString)
        (stringLength 2 ?STRING))
    (instance ?STRING Alpha2String))		 Media.kif 2939-2943 If X is an instance of alphabetic string and X is 2 characters long, then X is an instance of alpha2 string

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


(=>
    (codeMapping ISO_639_1 ?TOKEN ?X)
    (stringLength 2 ?TOKEN))		 Languages.kif 14739-14741 If X in ISO_639_1 denotes Y, then X is 2 characters long
(=>
    (codeMapping ISO_4217_A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))		 Media.kif 2233-2238 If X in ISO_4217_A denotes Y, then Y is an instance of unit of measure, X is 3 characters long, and X is an instance of alphabetic string
(=>
    (codeMapping ISO_3166_1_alpha_2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))		 Media.kif 2583-2588 If X in ISO_3166_1_alpha_2 denotes Y, then Y is an instance of geographic area, X is an instance of alphabetic string, and X is 2 characters long
(=>
    (instance ?STRING NumericString4)
    (stringLength 4 ?STRING))		 Media.kif 2902-2904 If X is an instance of numeric string4, then X is 4 characters long
(=>
    (instance ?STRING Alpha3String)
    (stringLength 3 ?STRING))		 Media.kif 2920-2922 If X is an instance of alpha3 string, then X is 3 characters long
(=>
    (instance ?STRING Alpha2String)
    (stringLength 2 ?STRING))		 Media.kif 2935-2937 If X is an instance of alpha2 string, then X is 2 characters long


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners