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 | The number 1 argument of key name is an instance of symbolic string |
(domain keyName 2 SymbolicString) | Media.kif 3280-3280 | The number 2 argument of key name is an instance of symbolic string |
(instance keyName AntisymmetricRelation) | Media.kif 3276-3276 | key name is an instance of antisymmetric relation |
(instance keyName BinaryPredicate) | Media.kif 3275-3275 | key name is an instance of binary predicate |
(instance keyName PartialValuedRelation) | Media.kif 3278-3278 | key name is an instance of partial valued relation |
(instance keyName ReflexiveRelation) | Media.kif 3277-3277 | key name is an instance of reflexive relation |
(subrelation keyName subString) | Media.kif 3281-3281 | key name is a subrelation of sub string |
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 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 |
![]() |
![]() |