Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| nameBeforeKeyName |
| 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 |
|