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 3379-3382
(domain nameBeforeKeyName 1 SymbolicString)	Media.kif 3375-3375	域 nameBeforeKeyName, 1 and SymbolicString
(domain nameBeforeKeyName 2 SymbolicString)	Media.kif 3376-3376	域 nameBeforeKeyName, 2 and SymbolicString
(domain nameBeforeKeyName 3 SymbolicString)	Media.kif 3377-3377	域 nameBeforeKeyName, 3 and SymbolicString
(instance nameBeforeKeyName TernaryPredicate)	Media.kif 3374-3374	例 nameBeforeKeyName and TernaryPredicate
(subrelation nameBeforeKeyName precedesInString)	Media.kif 3378-3378	子關係 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 65884-65884

antecedent

(=> (and (names ?NAMESTRING ?OBJ) (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING) (not (equal ?STRING ?KEY))) (not (nameIndexOrder ?NAMESTRING ?OBJ)))	Media.kif 3388-3393	名 SymbolicString and Entity SymbolicString 是 before key SymbolicString 在 SymbolicString 等於 SymbolicString and SymbolicString SymbolicString 是 &ameIndexOrder$"indexable" &ameIndexOrder$"name" 對於 Entity
(=> (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING) (keyName ?KEY ?NAMESTRING))	Media.kif 3384-3386	SymbolicString 是 before key SymbolicString 在 SymbolicString SymbolicString 是在 SymbolicString 的 key

consequent

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

Media.kif 3395-3399

SymbolicString 是在 SymbolicString 的 key SymbolicString precedes SymbolicString 在 SymbolicString
SymbolicString 是 before key SymbolicString 在 SymbolicString

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

KB Term:			Term intersection

English Word: