| 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 3288-3293 | |
| (domain fullNameIndexOrder 1 SymbolicString) | Media.kif 3286-3286 | |
| (domain fullNameIndexOrder 2 Entity) | Media.kif 3287-3287 | |
| (instance fullNameIndexOrder AsymmetricRelation) | Media.kif 3285-3285 | |
| (instance fullNameIndexOrder BinaryPredicate) | Media.kif 3284-3284 | |
| (subrelation fullNameIndexOrder fullName) | Media.kif 3294-3294 | |
| (subrelation fullNameIndexOrder nameIndexOrder) | Media.kif 3320-3320 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage fullNameIndexOrder "%2 的 index order name 是 %1 ") | domainEnglishFormat.kif 3508-3508 | |
| (format ChineseTraditionalLanguage fullNameIndexOrder "%2 的 index order name 是 %1 ") | domainEnglishFormat.kif 3507-3507 | |
| (format EnglishLanguage fullNameIndexOrder "the index order name of %2 is %1") | domainEnglishFormat.kif 3506-3506 | |
| (termFormat EnglishLanguage fullNameIndexOrder "full name index order") | domainEnglishFormat.kif 65840-65840 |
| 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 3303-3310 |
| consequent |
|
|
| (=> (and (fullName ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (fullNameIndexOrder ?NAMESTRING ?THING)) |
Media.kif 3296-3301 | |
| (=> (and (nameIndexOrder ?NAMESTRING ?THING) (fullName ?NAMESTRING ?THING)) (fullNameIndexOrder ?NAMESTRING ?THING)) |
Media.kif 3339-3343 |
|
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