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


KB Term:  Term intersection
English Word: 

  BeverageMenu

 Sigma KEE - nameIndexOrder
nameIndexOrder

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


(instance nameIndexOrder BinaryPredicate) Media.kif 3243-3243 name index order is an instance of binary predicate
(instance nameIndexOrder AsymmetricRelation) Media.kif 3244-3244 name index order is an instance of asymmetric relation
(domain nameIndexOrder 1 SymbolicString) Media.kif 3245-3245 The number 1 argument of name index order is an instance of symbolic string
(domain nameIndexOrder 2 Entity) Media.kif 3246-3246 The number 2 argument of name index order is an instance of entity
(documentation nameIndexOrder EnglishLanguage "(nameIndexOrder ?STRING ?OBJ) means that ?STRING is a full or partial name for ?OBJ, and that the first component of ?STRING is the indexed subString identified by keyName. Example: Bush, George.") Media.kif 3247-3250 The number 2 argument of name index order is an instance of entity
(subrelation nameIndexOrder names) Media.kif 3252-3252 name index order is a subrelation of names

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


(subrelation fullNameIndexOrder nameIndexOrder) Media.kif 3251-3251 full name index order is a subrelation of name index order
(format EnglishLanguage nameIndexOrder "%1 is the indexable name for %2") domainEnglishFormat.kif 3950-3950 full name index order is a subrelation of name index order
(format ChineseTraditionalLanguage nameIndexOrder "%1 是 indexable name 對於 %2 ") domainEnglishFormat.kif 3951-3951 full name index order is a subrelation of name index order
(format ChineseLanguage nameIndexOrder "%1 是 indexable name 对于 %2 ") domainEnglishFormat.kif 3952-3952 full name index order is a subrelation of name index order
(termFormat EnglishLanguage nameIndexOrder "name index order") domainEnglishFormat.kif 65902-65902 full name index order is a subrelation of name index order

antecedent
-------------------------


(=>
    (and
        (nameIndexOrder ?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 3261-3268 If X is the indexable name for Y, Z is a key in X, equal W and the length of Z, equal V and the length of X, and equal U and the sub-string of X from W to V, then the concatenation of Z and U is X
(=>
    (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

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


(=>
    (and
        (names ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (nameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3254-3259 If X has name Y, Z is a key in Y, and the concatenation of Z and W is Y, then Y is the indexable name for X
(=>
    (and
        (names ?NAMESTRING ?OBJ)
        (or
            (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
            (equal ?STRING ?KEY)))
    (nameIndexOrder ?NAMESTRING ?OBJ))		 Media.kif 3289-3295 If X has name Y and Z is after key W in Y or equal Z and W, then Y is the indexable name for X
(=>
    (and
        (names ?NAMESTRING ?OBJ)
        (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING)
        (not
            (equal ?STRING ?KEY)))
    (not
        (nameIndexOrder ?NAMESTRING ?OBJ)))		 Media.kif 3321-3326 If X has name Y, Z is before key W in Y, and equal Z and W, then Y is the indexable name for X


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

Show without tree

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