Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - fullNameIndexOrder
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
(domain fullNameIndexOrder 2 Entity) Media.kif 3271-3271
(instance fullNameIndexOrder AsymmetricRelation) Media.kif 3269-3269
(instance fullNameIndexOrder BinaryPredicate) Media.kif 3268-3268
(subrelation fullNameIndexOrder fullName) Media.kif 3278-3278
(subrelation fullNameIndexOrder nameIndexOrder) Media.kif 3304-3304

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

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


(=>
    (and
        (fullName ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (fullNameIndexOrder ?NAMESTRING ?THING))
Media.kif 3280-3285
(=>
    (and
        (nameIndexOrder ?NAMESTRING ?THING)
        (fullName ?NAMESTRING ?THING))
    (fullNameIndexOrder ?NAMESTRING ?THING))
Media.kif 3323-3327


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners