nameBeforeKeyName |
appearance as argument number 1 |
(documentation nameBeforeKeyName EnglishLanguage "(nameBeforeKeyName ?STRING ?KEY ?NAMESTRING) means that ?STRING and ?KEY are subStrings of ?NAMESTRING, and ?STRING occurs before ?KEY in ?NAMESTRING.") | Media.kif 3397-3400 | |
(domain nameBeforeKeyName 1 SymbolicString) | Media.kif 3393-3393 | The number 1 argument of name before key name is an instance of symbolic string |
(domain nameBeforeKeyName 2 SymbolicString) | Media.kif 3394-3394 | The number 2 argument of name before key name is an instance of symbolic string |
(domain nameBeforeKeyName 3 SymbolicString) | Media.kif 3395-3395 | The number 3 argument of name before key name is an instance of symbolic string |
(instance nameBeforeKeyName TernaryPredicate) | Media.kif 3392-3392 | name before key name is an instance of ternary predicate |
(subrelation nameBeforeKeyName precedesInString) | Media.kif 3396-3396 | name before key name is a subrelation of precedes in string |
appearance as argument number 2 |
(format ChineseLanguage nameBeforeKeyName "%1 是 before key %2 在 %3 ") | domainEnglishFormat.kif 3950-3950 | |
(format ChineseTraditionalLanguage nameBeforeKeyName "%1 是 before key %2 在 %3 ") | domainEnglishFormat.kif 3949-3949 | |
(format EnglishLanguage nameBeforeKeyName "%1 is before key %2 in %3") | domainEnglishFormat.kif 3948-3948 | |
(termFormat EnglishLanguage nameBeforeKeyName "name before key name") | domainEnglishFormat.kif 65882-65882 |
antecedent |
(=> (and (names ?NAMESTRING ?OBJ) (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING) (not (equal ?STRING ?KEY))) (not (nameIndexOrder ?NAMESTRING ?OBJ))) |
Media.kif 3406-3411 |
|
(=> (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING) (keyName ?KEY ?NAMESTRING)) |
Media.kif 3402-3404 |
consequent |
(=> (and (keyName ?KEY ?NAMESTRING) (precedesInString ?STRING ?KEY ?NAMESTRING)) (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING)) |
Media.kif 3413-3417 |