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 | 域 nameBeforeKeyName, 1 and SymbolicString |
(domain nameBeforeKeyName 2 SymbolicString) | Media.kif 3394-3394 | 域 nameBeforeKeyName, 2 and SymbolicString |
(domain nameBeforeKeyName 3 SymbolicString) | Media.kif 3395-3395 | 域 nameBeforeKeyName, 3 and SymbolicString |
(instance nameBeforeKeyName TernaryPredicate) | Media.kif 3392-3392 | 例 nameBeforeKeyName and TernaryPredicate |
(subrelation nameBeforeKeyName precedesInString) | Media.kif 3396-3396 | 子關係 nameBeforeKeyName and precedesInString |
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 |