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 3272-3277
(domain fullNameIndexOrder 1 SymbolicString)	Media.kif 3270-3270	The number 1 argument of fullNameIndexOrder is an instance of symbolic string
(domain fullNameIndexOrder 2 Entity)	Media.kif 3271-3271	The number 2 argument of fullNameIndexOrder is an instance of entity
(instance fullNameIndexOrder AsymmetricRelation)	Media.kif 3269-3269	fullNameIndexOrder is an instance of asymmetric relation
(instance fullNameIndexOrder BinaryPredicate)	Media.kif 3268-3268	fullNameIndexOrder is an instance of binary predicate
(subrelation fullNameIndexOrder fullName)	Media.kif 3278-3278	fullNameIndexOrder is a subrelation of fullName
(subrelation fullNameIndexOrder nameIndexOrder)	Media.kif 3304-3304	fullNameIndexOrder is a subrelation of nameIndexOrder

appearance as argument number 2

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

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 3287-3294

If the index order name of an entity is a symbolic string and another symbolic string is a key in the symbolic string and a nonnegative integer is equal to the length of the other symbolic string and another nonnegative integer is equal to the length of the symbolic string and a third symbolic string is equal to the sub-string of the symbolic string from the nonnegative integer to the other nonnegative integer,
then the concatenation of the other symbolic string and the third symbolic string is the symbolic string

consequent

(=> (and (fullName ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (fullNameIndexOrder ?NAMESTRING ?THING))	Media.kif 3280-3285	If the full name of an entity is a symbolic string and another symbolic string is a key in the symbolic string and the concatenation of the other symbolic string and a third symbolic string is the symbolic string, then the index order name of the entity is the symbolic string
(=> (and (nameIndexOrder ?NAMESTRING ?THING) (fullName ?NAMESTRING ?THING)) (fullNameIndexOrder ?NAMESTRING ?THING))	Media.kif 3323-3327	If a symbolic string is the indexable name for an entity and the full name of the entity is the symbolic string, then the index order name of the entity is the symbolic string

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

KB Term:			Term intersection

English Word: