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 | 域 fullNameIndexOrder, 1 and SymbolicString |
(domain fullNameIndexOrder 2 Entity) | Media.kif 3303-3303 | 域 fullNameIndexOrder, 2 and Entity |
(instance fullNameIndexOrder AsymmetricRelation) | Media.kif 3301-3301 | 例 fullNameIndexOrder and AsymmetricRelation |
(instance fullNameIndexOrder BinaryPredicate) | Media.kif 3300-3300 | 例 fullNameIndexOrder and BinaryPredicate |
(subrelation fullNameIndexOrder fullName) | Media.kif 3310-3310 | 子關係 fullNameIndexOrder and fullName |
(subrelation fullNameIndexOrder nameIndexOrder) | Media.kif 3336-3336 | 子關係 fullNameIndexOrder and 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 |
|