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 24505-24510
(domain StringLengthFn 1 SymbolicString)	Mid-level-ontology.kif 24503-24503	StringLengthFn の数値 1 引数は記号文字列の instance では %n
(instance StringLengthFn SingleValuedRelation)	Mid-level-ontology.kif 24502-24502	StringLengthFn は一価関係の instance では %n
(instance StringLengthFn TotalValuedRelation)	Mid-level-ontology.kif 24501-24501	StringLengthFn は合計値関係の instance では %n
(instance StringLengthFn UnaryFunction)	Mid-level-ontology.kif 24500-24500	StringLengthFn は 1変数関数の instance では %n
(range StringLengthFn NonnegativeInteger)	Mid-level-ontology.kif 24504-24504	StringLengthFn の range は非負整数のインスタンスでは %n

appearance as argument number 2

(format ChineseLanguage StringLengthFn "%1 的 length ")	domainEnglishFormat.kif 4674-4674
(format ChineseTraditionalLanguage StringLengthFn "%1 的 length ")	domainEnglishFormat.kif 4673-4673
(format EnglishLanguage StringLengthFn "the length of %1")	domainEnglishFormat.kif 4672-4672
(termFormat EnglishLanguage StringLengthFn "string length fn")	domainEnglishFormat.kif 65547-65547

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 3050-3071	記号文字列は ReverseFn 記号文字列と equal では %n 非負整数は StringLengthFn 記号文字列と equal では %n 非負整数は 1 より greater では　%n 非負整数は 0 より greater では　%n 非負整数は非負整数より less では %n 整数は ( 非負整数 + 1) + 2 の ceiling と equal では %n 非負整数EW は (( 整数 + 非負整数) + 整数) と equal では %n 記号文字列は SubstringFn 記号文字列, 非負整数 and (1 + 非負整数) と equal では %n 記号文字列は SubstringFn 記号文字列, 非負整数EW and (1 + 非負整数EW) と equal では %n
(=> (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 3301-3308	fullNameIndexOrder 記号文字列 and エンティティー keyName 記号文字列 and 記号文字列非負整数は StringLengthFn 記号文字列と equal では %n 非負整数は StringLengthFn 記号文字列と equal では %n 記号文字列は SubstringFn 記号文字列, 非負整数 and 非負整数と equal では %n stringConcatenation 記号文字列, 記号文字列 and 記号文字列
(=> (and (instance ?AID AppleID) (password ?AID ?N) (equal ?L (StringLengthFn ?N))) (greaterThan ?L 7))	ComputingBrands.kif 2018-2023	ComputerPassword は Apple ID の instance では %n password ComputerPassword and 記号文字列非負整数は StringLengthFn 記号文字列と equal では %n 非負整数は 7 より greater では　%n
(=> (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 3328-3335	nameIndexOrder 記号文字列 and エンティティー keyName 記号文字列 and 記号文字列非負整数は StringLengthFn 記号文字列と equal では %n 非負整数は StringLengthFn 記号文字列と equal では %n 記号文字列は SubstringFn 記号文字列, 非負整数 and 非負整数と equal では %n stringConcatenation 記号文字列, 記号文字列 and 記号文字列
(=> (and (subString ?S1 ?S2) (equal ?L1 (StringLengthFn ?S1)) (equal ?L2 (StringLengthFn ?S2))) (lessThanOrEqualTo ?L1 ?L2))	Mid-level-ontology.kif 24457-24462	subString 記号文字列 and 記号文字列非負整数は StringLengthFn 記号文字列と equal では %n 非負整数は StringLengthFn 記号文字列と equal では %n 非負整数は非負整数より less または同等では %n

consequent

(<=> (stringLength ?INT ?STRING) (equal ?INT (StringLengthFn ?STRING)))	Mid-level-ontology.kif 24523-24525	stringLength 非負整数 and 記号文字列非負整数は StringLengthFn 記号文字列と equal では %n
(=> (codeMapping IACOAirlineCode ?STR ?AIR) (equal 3 (StringLengthFn ?STR)))	Transportation.kif 3217-3219	codeMapping IACOAirlineCode, 記号文字列 and エンティティー 3 は StringLengthFn 記号文字列と equal では %n
(=> (codeMapping IATAAirlineCode ?STR ?AIR) (equal 2 (StringLengthFn ?STR)))	Transportation.kif 3204-3206	codeMapping IATAAirlineCode, 記号文字列 and エンティティー 2 は StringLengthFn 記号文字列と equal では %n
(=> (instance ?AOC AOCnumber) (equal 8 (StringLengthFn ?AOC)))	Transportation.kif 3227-3229	記号文字列は AOCnumber の instance では %n 8 は StringLengthFn 記号文字列と equal では %n

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