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 26124-26128
(domain stringLength 1 NonnegativeInteger) Mid-level-ontology.kif 26122-26122 stringLength の数値 1 引数は 非負整数 の instance では
(domain stringLength 2 SymbolicString) Mid-level-ontology.kif 26123-26123 stringLength の数値 2 引数は 記号文字列 の instance では
(instance stringLength BinaryPredicate) Mid-level-ontology.kif 26119-26119 stringLength は 2進述語 の instance では
(instance stringLength SingleValuedRelation) Mid-level-ontology.kif 26121-26121 stringLength は 一価関係 の instance では
(instance stringLength TotalValuedRelation) Mid-level-ontology.kif 26120-26120 stringLength は 合計値関係 の instance では

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 65970-65970

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


(<=>
    (stringLength ?INT ?STRING)
    (equal ?INT
        (StringLengthFn ?STRING)))		 Mid-level-ontology.kif 26130-26132 stringLength 非負整数 and 記号文字列 非負整数 は StringLengthFn 記号文字列 と equal では
(=>
    (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