TreeView Knowledge Base Browser

appearance as argument number 1

(documentation nameAfterKeyName EnglishLanguage "(nameAfterKeyName ?STRING ?KEY ?NAMESTRING) means that ?STRING and ?KEY are subStrings of ?NAMESTRING, and ?STRING occurs after ?KEY in ?NAMESTRING.")	Media.kif 3347-3350
(domain nameAfterKeyName 1 SymbolicString)	Media.kif 3344-3344	Die Zahl 1 Argument von nameAfterKeyName ist ein fall von SymbolicString %n{nicht}
(domain nameAfterKeyName 2 SymbolicString)	Media.kif 3345-3345	Die Zahl 2 Argument von nameAfterKeyName ist ein fall von SymbolicString %n{nicht}
(domain nameAfterKeyName 3 SymbolicString)	Media.kif 3346-3346	Die Zahl 3 Argument von nameAfterKeyName ist ein fall von SymbolicString %n{nicht}
(instance nameAfterKeyName TernaryPredicate)	Media.kif 3343-3343	nameAfterKeyName ist ein fall von TernaryPredicate %n{nicht}

appearance as argument number 2

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

antecedent

(=> (and (names ?NAMESTRING ?OBJ) (or (nameAfterKeyName ?STRING ?KEY ?NAMESTRING) (equal ?STRING ?KEY))) (nameIndexOrder ?NAMESTRING ?OBJ))	Media.kif 3356-3362	Wenn names SymbolicString and Entity und nameAfterKeyName SymbolicString, SymbolicString and SymbolicString oder SymbolicString ist gleich SymbolicString %n{nicht}, dann nameIndexOrder SymbolicString and ** Entity
(=> (nameAfterKeyName ?STRING ?KEY ?NAMESTRING) (keyName ?KEY ?NAMESTRING))	Media.kif 3352-3354	Wenn nameAfterKeyName SymbolicString, SymbolicString and SymbolicString, dann keyName SymbolicString and SymbolicString
(=> (nameAfterKeyName ?STRING ?KEY ?NAMESTRING) (precedesInString ?KEY ?STRING ?NAMESTRING))	Media.kif 3364-3366	Wenn nameAfterKeyName SymbolicString, SymbolicString and SymbolicString, dann precedesInString SymbolicString, SymbolicString and ** SymbolicString

consequent

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

Media.kif 3368-3372