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 24381-24386
(domain StringLengthFn 1 SymbolicString)	Mid-level-ontology.kif 24379-24379	StringLengthFn の数値 1 引数は記号文字列の instance では %n
(instance StringLengthFn SingleValuedRelation)	Mid-level-ontology.kif 24378-24378	StringLengthFn は一価関係の instance では %n
(instance StringLengthFn TotalValuedRelation)	Mid-level-ontology.kif 24377-24377	StringLengthFn は合計値関係の instance では %n
(instance StringLengthFn UnaryFunction)	Mid-level-ontology.kif 24376-24376	StringLengthFn は 1変数関数の instance では %n
(range StringLengthFn NonnegativeInteger)	Mid-level-ontology.kif 24380-24380	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 65557-65557

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 3068-3089	記号文字列は 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 3319-3326	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 3346-3353	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 24333-24338	subString 記号文字列 and 記号文字列非負整数は StringLengthFn 記号文字列と equal では %n 非負整数は StringLengthFn 記号文字列と equal では %n 非負整数は非負整数より less または同等では %n

consequent

(<=> (stringLength ?INT ?STRING) (equal ?INT (StringLengthFn ?STRING)))	Mid-level-ontology.kif 24399-24401	stringLength 非負整数 and 記号文字列非負整数は StringLengthFn 記号文字列と equal では %n
(=> (codeMapping IACOAirlineCode ?STR ?AIR) (equal 3 (StringLengthFn ?STR)))	Transportation.kif 3165-3167	codeMapping IACOAirlineCode, 記号文字列 and エンティティー 3 は StringLengthFn 記号文字列と equal では %n
(=> (codeMapping IATAAirlineCode ?STR ?AIR) (equal 2 (StringLengthFn ?STR)))	Transportation.kif 3152-3154	codeMapping IATAAirlineCode, 記号文字列 and エンティティー 2 は StringLengthFn 記号文字列と equal では %n
(=> (instance ?AOC AOCnumber) (equal 8 (StringLengthFn ?AOC)))	Transportation.kif 3175-3177	記号文字列は 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