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


KB Term:  Term intersection
English Word: 

Sigma KEE - StringLengthFn
StringLengthFn

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


(instance StringLengthFn UnaryFunction) Mid-level-ontology.kif 26742-26742 String length fn is an instance of unary function
(instance StringLengthFn TotalValuedRelation) Mid-level-ontology.kif 26743-26743 String length fn is an instance of total valued relation
(instance StringLengthFn SingleValuedRelation) Mid-level-ontology.kif 26744-26744 String length fn is an instance of single valued relation
(domain StringLengthFn 1 SymbolicString) Mid-level-ontology.kif 26745-26745 The number 1 argument of string length fn is an instance of symbolic string
(range StringLengthFn NonnegativeInteger) Mid-level-ontology.kif 26746-26746 The range of string length fn is an instance of nonnegative integer
(documentation StringLengthFn EnglishLanguage "This UnaryFunction takes a SymbolicString as its sole argument. The result of evaluating a term formed with StringLengthFn is a NonnegativeInteger that denotes the number of Characters in the SymbolicString. Example: (equal 14 (StringLengthFn "Charles Darwin")).") Mid-level-ontology.kif 26747-26752 The range of string length fn is an instance of nonnegative integer

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


(format EnglishLanguage StringLengthFn "the length of %1") domainEnglishFormat.kif 4676-4676
(format ChineseTraditionalLanguage StringLengthFn "%1 的 length ") domainEnglishFormat.kif 4677-4677
(format ChineseLanguage StringLengthFn "%1 的 length ") domainEnglishFormat.kif 4678-4678
(termFormat EnglishLanguage StringLengthFn "string length fn") domainEnglishFormat.kif 65548-65548

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


(=>
    (and
        (subString ?S1 ?S2)
        (equal ?L1
            (StringLengthFn ?S1))
        (equal ?L2
            (StringLengthFn ?S2)))
    (lessThanOrEqualTo ?L1 ?L2))		 Mid-level-ontology.kif 26699-26704 If X is a sub-string of Y, equal Z and the length of X, and equal W and the length of Y, then Z is less than or equal to W
(=>
    (and
        (instance ?AID AppleID)
        (password ?AID ?N)
        (equal ?L
            (StringLengthFn ?N)))
    (greaterThan ?L 7))		 ComputingBrands.kif 2018-2023 If X is an instance of Apple ID, Y has password X, and equal Z and the length of Y, then Z is greater than 7
(=>
    (and
        (equal ?OUT
            (ReverseFn ?IN))
        (equal ?LEN
            (StringLengthFn ?IN))
        (greaterThan ?LEN 1)
        (greaterThan ?N 0)
        (lessThan ?N ?LEN)
        (equal ?PIVOT
            (CeilingFn
                (DivisionFn
                    (SubtractionFn ?LEN 1) 2)))
        (equal ?NEW
            (AdditionFn
                (SubtractionFn ?PIVOT ?N) ?PIVOT))
        (equal ?S
            (SubstringFn ?IN ?N
                (AdditionFn 1 ?N))))
    (equal ?S
        (SubstringFn ?OUT ?NEW
            (AdditionFn 1 ?NEW))))		 Media.kif 2997-3018 If All of the following hold: (1) equal X and the reverse of Y (2) equal Z and the length of Y (3) Z is greater than 1 (4) W is greater than 0 (5) W is less than Z (6) equal V and the ceiling of (Z and 1) and 2 (7) equal U and ((V and W) and V) (8) equal T and the sub-string of Y from W to (1 and W), then equal T and the sub-string of X from U to (1 and U)
(=>
    (and
        (fullNameIndexOrder ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (equal ?START
            (StringLengthFn ?FIRST))
        (equal ?END
            (StringLengthFn ?NAMESTRING))
        (equal ?REST
            (SubstringFn ?NAMESTRING ?START ?END)))
    (stringConcatenation ?FIRST ?REST ?NAMESTRING))		 Media.kif 3234-3241 If the index order name of X is Y, Z is a key in Y, equal W and the length of Z, equal V and the length of Y, and equal U and the sub-string of Y from W to V, then the concatenation of Z and U is Y
(=>
    (and
        (nameIndexOrder ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (equal ?START
            (StringLengthFn ?FIRST))
        (equal ?END
            (StringLengthFn ?NAMESTRING))
        (equal ?REST
            (SubstringFn ?NAMESTRING ?START ?END)))
    (stringConcatenation ?FIRST ?REST ?NAMESTRING))		 Media.kif 3261-3268 If X is the indexable name for Y, Z is a key in X, equal W and the length of Z, equal V and the length of X, and equal U and the sub-string of X from W to V, then the concatenation of Z and U is X

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


(<=>
    (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
(=>
    (codeMapping IATAAirlineCode ?STR ?AIR)
    (equal 2
        (StringLengthFn ?STR)))		 Transportation.kif 4598-4600 If X in IATA airline code denotes Y, then equal 2 and the length of X
(=>
    (codeMapping IACOAirlineCode ?STR ?AIR)
    (equal 3
        (StringLengthFn ?STR)))		 Transportation.kif 4611-4613 If X in IACO airline code denotes Y, then equal 3 and the length of X
(=>
    (instance ?AOC AOCnumber)
    (equal 8
        (StringLengthFn ?AOC)))		 Transportation.kif 4621-4623 If X is an instance of AOC number, then equal 8 and the length of X


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