fullNameIndexOrder - Sigma Knowledge base Browser

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	Le nombre 1 argument de fullNameIndexOrder est une instance de cha�ne sympbolique
(domain fullNameIndexOrder 2 Entity)	Media.kif 3303-3303	Le nombre 2 argument de fullNameIndexOrder est une instance de entit�
(instance fullNameIndexOrder AsymmetricRelation)	Media.kif 3301-3301	fullNameIndexOrder est une instance de relation asym�trique
(instance fullNameIndexOrder BinaryPredicate)	Media.kif 3300-3300	fullNameIndexOrder est une instance de pr�dicat binaire
(subrelation fullNameIndexOrder fullName)	Media.kif 3310-3310	fullNameIndexOrder est une sous-relation de fullName
(subrelation fullNameIndexOrder nameIndexOrder)	Media.kif 3336-3336	fullNameIndexOrder est une sous-relation 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

fullNameIndexOrder cha�ne sympbolique and entit� keyName cha�ne sympbolique and cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique cha�ne sympbolique est SubstringFn cha�ne sympbolique, nombre entier non n�gatif and nombre entier non n�gatif
stringConcatenation cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique

consequent

(=> (and (fullName ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (fullNameIndexOrder ?NAMESTRING ?THING))	Media.kif 3312-3317	fullName cha�ne sympbolique and entit� keyName cha�ne sympbolique and cha�ne sympbolique stringConcatenation cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique fullNameIndexOrder cha�ne sympbolique and entit�
(=> (and (nameIndexOrder ?NAMESTRING ?THING) (fullName ?NAMESTRING ?THING)) (fullNameIndexOrder ?NAMESTRING ?THING))	Media.kif 3355-3359	nameIndexOrder cha�ne sympbolique and entit� fullName cha�ne sympbolique and entit� fullNameIndexOrder cha�ne sympbolique and entit�

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

KB Term:			Term intersection

English Word: