keyName |
appearance as argument number 1 |
(documentation keyName EnglishLanguage "(keyName ?S1 ?S2) means that ?S1 is the subString of ?S2 (i.e., the component name) typically used for alphabetical name indexing.") | Media.kif 3264-3266 | |
(domain keyName 1 SymbolicString) | Media.kif 3261-3261 | Le nombre 1 argument de keyName est une instance de cha�ne sympbolique |
(domain keyName 2 SymbolicString) | Media.kif 3262-3262 | Le nombre 2 argument de keyName est une instance de cha�ne sympbolique |
(instance keyName AntisymmetricRelation) | Media.kif 3258-3258 | keyName est une instance de relation antisym�trique |
(instance keyName BinaryPredicate) | Media.kif 3257-3257 | keyName est une instance de pr�dicat binaire |
(instance keyName PartialValuedRelation) | Media.kif 3260-3260 | keyName est une instance de relation partielle |
(instance keyName ReflexiveRelation) | Media.kif 3259-3259 | keyName est une instance de relation r�flexive |
(subrelation keyName subString) | Media.kif 3263-3263 | keyName est une sous-relation de subString |
appearance as argument number 2 |
(format ChineseLanguage keyName "%1 是在 %2 的 key ") | domainEnglishFormat.kif 3718-3718 | |
(format ChineseTraditionalLanguage keyName "%1 是在 %2 的 key ") | domainEnglishFormat.kif 3717-3717 | |
(format EnglishLanguage keyName "%1 is a key in %2") | domainEnglishFormat.kif 3716-3716 | |
(termFormat EnglishLanguage keyName "key name") | domainEnglishFormat.kif 65862-65862 |
antecedent |
consequent |
(=> (and (humanName ?NAMESTRING ?HUMAN) (familyName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (keyName ?STRING ?NAMESTRING)) |
Media.kif 3434-3439 | |
(=> (and (humanName ?NAMESTRING ?HUMAN) (givenName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (not (keyName ?STRING ?NAMESTRING))) |
Media.kif 3443-3448 | |
(=> (nameAfterKeyName ?STRING ?KEY ?NAMESTRING) (keyName ?KEY ?NAMESTRING)) |
Media.kif 3352-3354 | |
(=> (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING) (keyName ?KEY ?NAMESTRING)) |
Media.kif 3384-3386 |