TreeView Knowledge Base Browser - StringLengthFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - StringLengthFn

StringLengthFn

appearance as argument number 1

(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 26101-26106
(domain StringLengthFn 1 SymbolicString)	Mid-level-ontology.kif 26099-26099	The number 1 argument of StringLengthFn is an instance of symbolic string
(instance StringLengthFn SingleValuedRelation)	Mid-level-ontology.kif 26098-26098	StringLengthFn is an instance of single valued relation
(instance StringLengthFn TotalValuedRelation)	Mid-level-ontology.kif 26097-26097	StringLengthFn is an instance of total valued relation
(instance StringLengthFn UnaryFunction)	Mid-level-ontology.kif 26096-26096	StringLengthFn is an instance of unary function
(range StringLengthFn NonnegativeInteger)	Mid-level-ontology.kif 26100-26100	The range of StringLengthFn is an instance of nonnegative integer

appearance as argument number 2

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

antecedent

(=> (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 3052-3073	If equal a symbolic string and ReverseFn another symbolic string and equal an integer and StringLengthFn the other symbolic string and the integer is greater than 1 and a nonnegative integer is greater than 0 and the nonnegative integer is less than the integer and equal another integer and the ceiling of (the integer and 1) and 2 and equal the nonnegative integerEW and ((the other integer and the nonnegative integer) and the other integer) and equal a third symbolic string and SubstringFn the other symbolic string, the nonnegative integer and (1 and the nonnegative integer), then equal the third symbolic string and SubstringFn the symbolic string, the nonnegative integerEW and (1 and the nonnegative integerEW)
(=> (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 3303-3310	If fullNameIndexOrder a symbolic string and an entity and keyName another symbolic string and the symbolic string and equal a nonnegative integer and StringLengthFn the other symbolic string and equal another nonnegative integer and StringLengthFn the symbolic string and equal a third symbolic string and SubstringFn the symbolic string, the nonnegative integer and the other nonnegative integer, then stringConcatenation the other symbolic string, the third symbolic string and the symbolic string
(=> (and (instance ?AID AppleID) (password ?AID ?N) (equal ?L (StringLengthFn ?N))) (greaterThan ?L 7))	ComputingBrands.kif 2018-2023	If a ComputerPassword is an instance of AppleID and password the ComputerPassword and a symbolic string and equal an integer and StringLengthFn the symbolic string, then the integer is greater than 7
(=> (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 3330-3337	If nameIndexOrder a symbolic string and an entity and keyName another symbolic string and the symbolic string and equal a nonnegative integer and StringLengthFn the other symbolic string and equal another nonnegative integer and StringLengthFn the symbolic string and equal a third symbolic string and SubstringFn the symbolic string, the nonnegative integer and the other nonnegative integer, then stringConcatenation the other symbolic string, the third symbolic string and the symbolic string
(=> (and (subString ?S1 ?S2) (equal ?L1 (StringLengthFn ?S1)) (equal ?L2 (StringLengthFn ?S2))) (lessThanOrEqualTo ?L1 ?L2))	Mid-level-ontology.kif 26053-26058	If subString a symbolic string and another symbolic string and equal an integer and StringLengthFn the symbolic string and equal another integer and StringLengthFn the other symbolic string, then the integer is less than or equal to the other integer

consequent

(<=> (stringLength ?INT ?STRING) (equal ?INT (StringLengthFn ?STRING)))	Mid-level-ontology.kif 26119-26121	stringLength a nonnegative integer and a symbolic string if and only if equal the nonnegative integer and StringLengthFn the symbolic string
(=> (codeMapping IACOAirlineCode ?STR ?AIR) (equal 3 (StringLengthFn ?STR)))	Transportation.kif 4067-4069	If codeMapping IACOAirlineCode, a symbolic string and an entity, then equal 3 and StringLengthFn the symbolic string
(=> (codeMapping IATAAirlineCode ?STR ?AIR) (equal 2 (StringLengthFn ?STR)))	Transportation.kif 4054-4056	If codeMapping IATAAirlineCode, a symbolic string and an entity, then equal 2 and StringLengthFn the symbolic string
(=> (instance ?AOC AOCnumber) (equal 8 (StringLengthFn ?AOC)))	Transportation.kif 4077-4079	If a symbolic string is an instance of AOCnumber, then equal 8 and StringLengthFn the symbolic string

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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