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


s__documentation(s__stringLength__m,s__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 23668-23672
s__domain(s__stringLength__m,n__1,s__NonnegativeInteger)

 Mid-level-ontology.kif 23666-23666 The number 1 argument of stringLength is an instance of nonnegative integer
s__domain(s__stringLength__m,n__2,s__SymbolicString)

 Mid-level-ontology.kif 23667-23667 The number 2 argument of stringLength is an instance of symbolic string
s__instance(s__stringLength__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__Class)

 Mid-level-ontology.kif 23665-23665 stringLength is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__stringLength__m,s__BinaryPredicate)

 Mid-level-ontology.kif 23662-23662 stringLength is an instance of binary predicate
s__instance(s__stringLength__m,s__SingleValuedRelation)

s__instance(s__SingleValuedRelation,s__Class)

 Mid-level-ontology.kif 23664-23664 stringLength is an instance of single valued relation
s__instance(s__TotalValuedRelation,s__Class)

s__instance(s__stringLength__m,s__TotalValuedRelation)

 Mid-level-ontology.kif 23663-23663 stringLength is an instance of total valued relation

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


s__format(s__ChineseLanguage,s__stringLength__m,'"%2 是 %1 characters long "')

 domainEnglishFormat.kif 4679-4679
s__format(s__ChineseTraditionalLanguage,s__stringLength__m,'"%2 是 %1 characters long "')

 domainEnglishFormat.kif 4678-4678
s__format(s__EnglishLanguage,s__stringLength__m,'"%2 is %1 characters long"')

 domainEnglishFormat.kif 4677-4677

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


( ! [V__STRING,V__INT] :
   (((s__instance(V__STRING,s__SymbolicString) &
         s__instance(V__INT,s__NonnegativeInteger))
       =>
       (((s__stringLength(V__INT,V__STRING)
           =>
           (V__INT = s__StringLengthFn(V__STRING)))
       &
       ((V__INT = s__StringLengthFn(V__STRING))
       =>
       s__stringLength(V__INT,V__STRING)))))
)
)

 Mid-level-ontology.kif 23674-23676 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
( ! [V__STRING] :
   (((s__instance(V__STRING,s__AlphabeticString) &
         s__stringLength(n__2,V__STRING))
     =>
     (s__instance(V__STRING,s__Alpha2String)))
   )
)

 Media.kif 2974-2978
( ! [V__STRING] :
   (((s__instance(V__STRING,s__AlphabeticString) &
         s__stringLength(n__3,V__STRING))
     =>
     (s__instance(V__STRING,s__Alpha3String)))
   )
)

 Media.kif 2959-2963
( ! [V__STRING] :
   (((s__instance(V__STRING,s__DecimalDigitString) &
         s__stringLength(n__4,V__STRING))
     =>
     (s__instance(V__STRING,s__NumericString4)))
   )
)

 Media.kif 2941-2945

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


( ! [V__X,V__TOKEN] :
   ((s__instance(V__TOKEN,s__SymbolicString) =>
       ((s__codeMapping(s__ISO_3166_1_alpha_2,V__TOKEN,V__X)
         =>
         ((s__instance(V__X,s__GeographicArea) &
             s__instance(V__TOKEN,s__AlphabeticString) &
             s__stringLength(n__2,V__TOKEN))))))
)
)

 Media.kif 2618-2623
( ! [V__X,V__TOKEN] :
   ((s__instance(V__TOKEN,s__SymbolicString) =>
       ((s__codeMapping(s__ISO_4217_A,V__TOKEN,V__X)
         =>
         ((s__instance(V__X,s__UnitOfMeasure) &
             s__stringLength(n__3,V__TOKEN)
           &
           s__instance(V__TOKEN,s__AlphabeticString))))))
)
)

 Media.kif 2281-2286
( ! [V__X,V__TOKEN] :
   ((s__instance(V__TOKEN,s__SymbolicString) =>
       ((s__codeMapping(s__ISO_639_1,V__TOKEN,V__X)
         =>
         (s__stringLength(n__2,V__TOKEN)))))
)
)

 Languages.kif 14711-14713
( ! [V__STRING] :
   ((s__instance(V__STRING,s__Alpha2String) =>
       (s__stringLength(n__2,V__STRING)))
   )
)

 Media.kif 2970-2972
( ! [V__STRING] :
   ((s__instance(V__STRING,s__Alpha3String) =>
       (s__stringLength(n__3,V__STRING)))
   )
)

 Media.kif 2955-2957
( ! [V__STRING] :
   ((s__instance(V__STRING,s__NumericString4) =>
       (s__stringLength(n__4,V__STRING)))
   )
)

 Media.kif 2937-2939


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