Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - fullNameIndexOrder
fullNameIndexOrder

appearance as argument number 1
-------------------------


(instance fullNameIndexOrder BinaryPredicate) Media.kif 3215-3215 full name index order is an instance of binary predicate
(instance fullNameIndexOrder AsymmetricRelation) Media.kif 3216-3216 full name index order is an instance of asymmetric relation
(domain fullNameIndexOrder 1 SymbolicString) Media.kif 3217-3217 The number 1 argument of full name index order is an instance of symbolic string
(domain fullNameIndexOrder 2 Entity) Media.kif 3218-3218 The number 2 argument of full name index order is an instance of entity
(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 3219-3224 The number 2 argument of full name index order is an instance of entity
(subrelation fullNameIndexOrder fullName) Media.kif 3225-3225 full name index order is a subrelation of full name
(subrelation fullNameIndexOrder nameIndexOrder) Media.kif 3251-3251 full name index order is a subrelation of name index order

appearance as argument number 2
-------------------------


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

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 3234-3241 If the index order name of X is Y, Z is a key in Y, equal W and the length of Z, equal V and the length of Y, and equal U and the sub-string of Y from W to V, then the concatenation of Z and U is Y

consequent
-------------------------


(=>
    (and
        (fullName ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (fullNameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3227-3232 If the full name of X is Y, Z is a key in Y, and the concatenation of Z and W is Y, then the index order name of X is Y
(=>
    (and
        (nameIndexOrder ?NAMESTRING ?THING)
        (fullName ?NAMESTRING ?THING))
    (fullNameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3270-3274 If X is the indexable name for Y and the full name of Y is X, then the index order name of Y is X


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners