TreeView Knowledge Base Browser

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 3385-3388
(domain nameBeforeKeyName 1 SymbolicString)	Media.kif 3381-3381	The number 1 argument of nameBeforeKeyName is an instance of symbolic string
(domain nameBeforeKeyName 2 SymbolicString)	Media.kif 3382-3382	The number 2 argument of nameBeforeKeyName is an instance of symbolic string
(domain nameBeforeKeyName 3 SymbolicString)	Media.kif 3383-3383	The number 3 argument of nameBeforeKeyName is an instance of symbolic string
(instance nameBeforeKeyName TernaryPredicate)	Media.kif 3380-3380	nameBeforeKeyName is an instance of ternary predicate
(subrelation nameBeforeKeyName precedesInString)	Media.kif 3384-3384	nameBeforeKeyName is a subrelation of precedesInString

appearance as argument number 2

(format ChineseLanguage nameBeforeKeyName "%1 是 before key %2 在 %3 ")	domainEnglishFormat.kif 3955-3955
(format ChineseTraditionalLanguage nameBeforeKeyName "%1 是 before key %2 在 %3 ")	domainEnglishFormat.kif 3954-3954
(format EnglishLanguage nameBeforeKeyName "%1 is before key %2 in %3")	domainEnglishFormat.kif 3953-3953

antecedent

(=> (and (names ?NAMESTRING ?OBJ) (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING) (not (equal ?STRING ?KEY))) (not (nameIndexOrder ?NAMESTRING ?OBJ)))	Media.kif 3394-3399	If an entity has name a symbolic string and another symbolic string is before key a third symbolic string in the symbolic string and the other symbolic string is not equal to the third symbolic string, then the symbolic string is the ¬ameIndexOrder$"indexable" ¬ameIndexOrder$"name" for the entity
(=> (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING) (keyName ?KEY ?NAMESTRING))	Media.kif 3390-3392	If a symbolic string is before key another symbolic string in a third symbolic string, then the other symbolic string is a key in the third symbolic string

consequent

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

Media.kif 3401-3405

If a symbolic string is a key in another symbolic string and a third symbolic string precedes the symbolic string in the other symbolic string,
then the third symbolic string is before key the symbolic string in the other symbolic string

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: