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	O argumento numero 1 de fullNameIndexOrder e' uma instancia de Sequencia Simbolica
(domain fullNameIndexOrder 2 Entity)	Media.kif 3285-3285	O argumento numero 2 de fullNameIndexOrder e' uma instancia de Entidade
(instance fullNameIndexOrder AsymmetricRelation)	Media.kif 3283-3283	fullNameIndexOrder e' uma instancia de Relacao Assimetrica
(instance fullNameIndexOrder BinaryPredicate)	Media.kif 3282-3282	fullNameIndexOrder e' uma instancia de Predicado Binario
(subrelation fullNameIndexOrder fullName)	Media.kif 3292-3292	fullNameIndexOrder e' uma sub-relacao de fullName
(subrelation fullNameIndexOrder nameIndexOrder)	Media.kif 3318-3318	fullNameIndexOrder e' uma sub-relacao de nameIndexOrder

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 Sequencia Simbolica and Entidade keyName Sequencia Simbolica and Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativo and Numero Inteiro nao-negativo
stringConcatenation Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica

consequent

(=> (and (fullName ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (fullNameIndexOrder ?NAMESTRING ?THING))	Media.kif 3294-3299	fullName Sequencia Simbolica and Entidade keyName Sequencia Simbolica and Sequencia Simbolica stringConcatenation Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica fullNameIndexOrder Sequencia Simbolica and Entidade
(=> (and (nameIndexOrder ?NAMESTRING ?THING) (fullName ?NAMESTRING ?THING)) (fullNameIndexOrder ?NAMESTRING ?THING))	Media.kif 3337-3341	nameIndexOrder Sequencia Simbolica and Entidade fullName Sequencia Simbolica and Entidade fullNameIndexOrder Sequencia Simbolica and Entidade

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

KB Term:			Term intersection

English Word: