TreeView Knowledge Base Browser

appearance as argument number 1

(instance nameBeforeKeyName TernaryPredicate)	Media.kif 3307-3307	name before key name is an instance of ternary predicate
(domain nameBeforeKeyName 1 SymbolicString)	Media.kif 3308-3308	The number 1 argument of name before key name is an instance of symbolic string
(domain nameBeforeKeyName 2 SymbolicString)	Media.kif 3309-3309	The number 2 argument of name before key name is an instance of symbolic string
(domain nameBeforeKeyName 3 SymbolicString)	Media.kif 3310-3310	The number 3 argument of name before key name is an instance of symbolic string
(subrelation nameBeforeKeyName precedesInString)	Media.kif 3311-3311	name before key name is a subrelation of precedes in string
(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 3312-3315	name before key name is a subrelation of precedes in string

appearance as argument number 2

(format EnglishLanguage nameBeforeKeyName "%1 is before key %2 in %3")	domainEnglishFormat.kif 3946-3946
(format ChineseTraditionalLanguage nameBeforeKeyName "%1 是 before key %2 在 %3 ")	domainEnglishFormat.kif 3947-3947
(format ChineseLanguage nameBeforeKeyName "%1 是 before key %2 在 %3 ")	domainEnglishFormat.kif 3948-3948
(termFormat EnglishLanguage nameBeforeKeyName "name before key name")	domainEnglishFormat.kif 65901-65901

antecedent

(=> (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING) (keyName ?KEY ?NAMESTRING))	Media.kif 3317-3319	If X is before key Y in Z, then Y is a key in Z
(=> (and (names ?NAMESTRING ?OBJ) (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING) (not (equal ?STRING ?KEY))) (not (nameIndexOrder ?NAMESTRING ?OBJ)))	Media.kif 3321-3326	If X has name Y, Z is before key W in Y, and equal Z and W, then Y is the indexable name for X

consequent

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

Media.kif 3328-3332

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

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

KB Term:			Term intersection

English Word: