TreeView Knowledge Base Browser

appearance as argument number 2

(format EnglishLanguage nameAfterKeyName "%1 is after key %2 in %3")	domainEnglishFormat.kif 3942-3942
(format ChineseTraditionalLanguage nameAfterKeyName "%1 是 after key %2 在 %3 ")	domainEnglishFormat.kif 3943-3943
(format ChineseLanguage nameAfterKeyName "%1 是 after key %2 在 %3 ")	domainEnglishFormat.kif 3944-3944
(termFormat EnglishLanguage nameAfterKeyName "name after key name")	domainEnglishFormat.kif 65900-65900

antecedent

(=> (nameAfterKeyName ?STRING ?KEY ?NAMESTRING) (keyName ?KEY ?NAMESTRING))	Media.kif 3285-3287	If X is after key Y in Z, then Y is a key in Z
(=> (and (names ?NAMESTRING ?OBJ) (or (nameAfterKeyName ?STRING ?KEY ?NAMESTRING) (equal ?STRING ?KEY))) (nameIndexOrder ?NAMESTRING ?OBJ))	Media.kif 3289-3295	If X has name Y and Z is after key W in Y or equal Z and W, then Y is the indexable name for X
(=> (nameAfterKeyName ?STRING ?KEY ?NAMESTRING) (precedesInString ?KEY ?STRING ?NAMESTRING))	Media.kif 3297-3299	If X is after key Y in Z, then Y precedes X in Z

consequent

(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?KEY ?STRING ?NAMESTRING))
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING))

If X is a key in Y and X precedes Z in Y, then Z is after key X in Y