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 3286-3291 | |
(domain fullNameIndexOrder 1 SymbolicString) | Media.kif 3284-3284 | Die Zahl 1 Argument von fullNameIndexOrder ist ein fall von SymbolicString %n{nicht} |
(domain fullNameIndexOrder 2 Entity) | Media.kif 3285-3285 | Die Zahl 2 Argument von fullNameIndexOrder ist ein fall von Entity %n{nicht} |
(instance fullNameIndexOrder AsymmetricRelation) | Media.kif 3283-3283 | fullNameIndexOrder ist ein fall von AsymmetricRelation %n{nicht} |
(instance fullNameIndexOrder BinaryPredicate) | Media.kif 3282-3282 | fullNameIndexOrder ist ein fall von BinaryPredicate %n{nicht} |
(subrelation fullNameIndexOrder fullName) | Media.kif 3292-3292 | fullNameIndexOrder ist eine teilrelation von fullName |
(subrelation fullNameIndexOrder nameIndexOrder) | Media.kif 3318-3318 | fullNameIndexOrder ist eine teilrelation von 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 65838-65838 |
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 3301-3308 |
|
consequent |
(=> (and (fullName ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (fullNameIndexOrder ?NAMESTRING ?THING)) |
Media.kif 3294-3299 |
|
(=> (and (nameIndexOrder ?NAMESTRING ?THING) (fullName ?NAMESTRING ?THING)) (fullNameIndexOrder ?NAMESTRING ?THING)) |
Media.kif 3337-3341 |
|