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 3282-3284 | |
(domain keyName 1 SymbolicString) | Media.kif 3279-3279 | O argumento numero 1 de keyName e' uma instancia de Sequencia Simbolica |
(domain keyName 2 SymbolicString) | Media.kif 3280-3280 | O argumento numero 2 de keyName e' uma instancia de Sequencia Simbolica |
(instance keyName AntisymmetricRelation) | Media.kif 3276-3276 | keyName e' uma instancia de Relacao Anti-simetrica |
(instance keyName BinaryPredicate) | Media.kif 3275-3275 | keyName e' uma instancia de Predicado Binario |
(instance keyName PartialValuedRelation) | Media.kif 3278-3278 | keyName e' uma instancia de Relacao Parcial |
(instance keyName ReflexiveRelation) | Media.kif 3277-3277 | keyName e' uma instancia de Relacao Reflexiva |
(subrelation keyName subString) | Media.kif 3281-3281 | keyName e' uma sub-relacao 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 65860-65860 |
antecedent |
consequent |
(=> (and (humanName ?NAMESTRING ?HUMAN) (familyName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (keyName ?STRING ?NAMESTRING)) |
Media.kif 3452-3457 | |
(=> (and (humanName ?NAMESTRING ?HUMAN) (givenName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (not (keyName ?STRING ?NAMESTRING))) |
Media.kif 3461-3466 | |
(=> (nameAfterKeyName ?STRING ?KEY ?NAMESTRING) (keyName ?KEY ?NAMESTRING)) |
Media.kif 3370-3372 | |
(=> (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING) (keyName ?KEY ?NAMESTRING)) |
Media.kif 3402-3404 |