TreeView Knowledge Base Browser - fullNameIndexOrder

appearance as argument number 1

(documentation fullNameIndexOrder EnglishLanguage "(fullNameIndexOrder ?STRING ?OBJ) means that ?STRING is a full name for ?OBJ, having all of the subStrings (fields, components) that occur in ?OBJ's complete name. The first component of ?STRING will be the indexed subString identified by keyName. Example: Bush, George W.")	Media.kif 3286-3291
(domain fullNameIndexOrder 1 SymbolicString)	Media.kif 3284-3284	fullNameIndexOrder の数値 1 引数は記号文字列の instance では %n
(domain fullNameIndexOrder 2 Entity)	Media.kif 3285-3285	fullNameIndexOrder の数値 2 引数はエンティティーの instance では %n
(instance fullNameIndexOrder AsymmetricRelation)	Media.kif 3283-3283	fullNameIndexOrder は非対称関係の instance では %n
(instance fullNameIndexOrder BinaryPredicate)	Media.kif 3282-3282	fullNameIndexOrder は 2進述語の instance では %n
(subrelation fullNameIndexOrder fullName)	Media.kif 3292-3292	fullNameIndexOrder は fullName の subrelation では %n
(subrelation fullNameIndexOrder nameIndexOrder)	Media.kif 3318-3318	fullNameIndexOrder は nameIndexOrder の subrelation では %n

appearance as argument number 2

(format ChineseLanguage fullNameIndexOrder "%2 的 index order name 是 %1 ")	domainEnglishFormat.kif 3510-3510
(format ChineseTraditionalLanguage fullNameIndexOrder "%2 的 index order name 是 %1 ")	domainEnglishFormat.kif 3509-3509
(format EnglishLanguage fullNameIndexOrder "the index order name of %2 is %1")	domainEnglishFormat.kif 3508-3508
(termFormat EnglishLanguage fullNameIndexOrder "full name index order")	domainEnglishFormat.kif 65838-65838

antecedent

(=>
    (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 記号文字列

consequent

(=> (and (fullName ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (fullNameIndexOrder ?NAMESTRING ?THING))	Media.kif 3294-3299	fullName 記号文字列 and エンティティー keyName 記号文字列 and 記号文字列 stringConcatenation 記号文字列, 記号文字列 and 記号文字列 fullNameIndexOrder 記号文字列 and エンティティー
(=> (and (nameIndexOrder ?NAMESTRING ?THING) (fullName ?NAMESTRING ?THING)) (fullNameIndexOrder ?NAMESTRING ?THING))	Media.kif 3337-3341	nameIndexOrder 記号文字列 and エンティティー fullName 記号文字列 and エンティティー fullNameIndexOrder 記号文字列 and エンティティー

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

KB Term:			Term intersection

English Word: