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
(domain fullNameIndexOrder 2 Entity)	Media.kif 3285-3285	fullNameIndexOrder 的 2 数量是实体的 instance
(instance fullNameIndexOrder AsymmetricRelation)	Media.kif 3283-3283	fullNameIndexOrder 是非对称关系的 instance
(instance fullNameIndexOrder BinaryPredicate)	Media.kif 3282-3282	fullNameIndexOrder 是二元谓语的 instance
(subrelation fullNameIndexOrder fullName)	Media.kif 3292-3292	fullNameIndexOrder 是 fullName 的 subrelation
(subrelation fullNameIndexOrder nameIndexOrder)	Media.kif 3318-3318	fullNameIndexOrder 是 nameIndexOrder 的 subrelation

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

如果实体的 index order name 是符号串和另一个符号串是在那个符号串的 key 和非负整数 equal 那个另外符号串的 length 和另一个非负整数 equal 那个符号串的 length 和第三符号串 equal 那个符号串的 sub-string 从那个非负整数对于那个另外非负整数，
然后那个另外符号串和那个第三符号串的 concatenation 是那个符号串

consequent

(=> (and (fullName ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (fullNameIndexOrder ?NAMESTRING ?THING))	Media.kif 3294-3299	如果实体的 full name 是符号串和另一个符号串是在那个符号串的 key 和那个另外符号串和第三符号串的 concatenation 是那个符号串，然后那个实体的 index order name 是那个符号串
(=> (and (nameIndexOrder ?NAMESTRING ?THING) (fullName ?NAMESTRING ?THING)) (fullNameIndexOrder ?NAMESTRING ?THING))	Media.kif 3337-3341	如果符号串是 indexable name 对于实体和那个实体的 full name 是那个符号串，然后那个实体的 index order name 是那个符号串

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

KB Term:			Term intersection

English Word: