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

Formal Language: 



KB Term:  Term intersection
English Word: 

  fullNameIndexOrder

 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 3304-3309
(domain fullNameIndexOrder 1 SymbolicString) Media.kif 3302-3302 O argumento numero 1 de fullNameIndexOrder e' uma instancia de Sequencia Simbolica
(domain fullNameIndexOrder 2 Entity) Media.kif 3303-3303 O argumento numero 2 de fullNameIndexOrder e' uma instancia de Entidade
(instance fullNameIndexOrder AsymmetricRelation) Media.kif 3301-3301 fullNameIndexOrder e' uma instancia de Relacao Assimetrica
(instance fullNameIndexOrder BinaryPredicate) Media.kif 3300-3300 fullNameIndexOrder e' uma instancia de Predicado Binario
(subrelation fullNameIndexOrder fullName) Media.kif 3310-3310 fullNameIndexOrder e' uma sub-relacao de fullName
(subrelation fullNameIndexOrder nameIndexOrder) Media.kif 3336-3336 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 65836-65836

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 3319-3326

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


(=>
    (and
        (fullName ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (fullNameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3312-3317
(=>
    (and
        (nameIndexOrder ?NAMESTRING ?THING)
        (fullName ?NAMESTRING ?THING))
    (fullNameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3355-3359


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 is open source software produced by Articulate Software and its partners