Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1Re2Re3In4En5En6Ra7ReFn

 Sigma KEE - keyName
keyName

appearance as argument number 1
-------------------------


(instance keyName BinaryPredicate) Media.kif 3204-3204 key name is an instance of binary predicate
(instance keyName AntisymmetricRelation) Media.kif 3205-3205 key name is an instance of antisymmetric relation
(instance keyName ReflexiveRelation) Media.kif 3206-3206 key name is an instance of reflexive relation
(instance keyName PartialValuedRelation) Media.kif 3207-3207 key name is an instance of partial valued relation
(domain keyName 1 SymbolicString) Media.kif 3208-3208 The number 1 argument of key name is an instance of symbolic string
(domain keyName 2 SymbolicString) Media.kif 3209-3209 The number 2 argument of key name is an instance of symbolic string
(subrelation keyName subString) Media.kif 3210-3210 key name is a subrelation of sub string
(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 3211-3213 key name is a subrelation of sub string

appearance as argument number 2
-------------------------


(format EnglishLanguage keyName "%1 is a key in %2") domainEnglishFormat.kif 3714-3714
(format ChineseTraditionalLanguage keyName "%1 是在 %2 的 key ") domainEnglishFormat.kif 3715-3715
(format ChineseLanguage keyName "%1 是在 %2 的 key ") domainEnglishFormat.kif 3716-3716
(termFormat EnglishLanguage keyName "key name") domainEnglishFormat.kif 65877-65877

antecedent
-------------------------


(=>
    (and
        (fullName ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (fullNameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3227-3232 If the full name of X is Y, Z is a key in Y, and the concatenation of Z and W is Y, then the index order name of X is Y
(=>
    (and
        (fullNameIndexOrder ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (equal ?START
            (StringLengthFn ?FIRST))
        (equal ?END
            (StringLengthFn ?NAMESTRING))
        (equal ?REST
            (SubstringFn ?NAMESTRING ?START ?END)))
    (stringConcatenation ?FIRST ?REST ?NAMESTRING))		 Media.kif 3234-3241 If the index order name of X is Y, Z is a key in Y, equal W and the length of Z, equal V and the length of Y, and equal U and the sub-string of Y from W to V, then the concatenation of Z and U is Y
(=>
    (and
        (names ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (nameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3254-3259 If X has name Y, Z is a key in Y, and the concatenation of Z and W is Y, then Y is the indexable name for X
(=>
    (and
        (nameIndexOrder ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (equal ?START
            (StringLengthFn ?FIRST))
        (equal ?END
            (StringLengthFn ?NAMESTRING))
        (equal ?REST
            (SubstringFn ?NAMESTRING ?START ?END)))
    (stringConcatenation ?FIRST ?REST ?NAMESTRING))		 Media.kif 3261-3268 If X is the indexable name for Y, Z is a key in X, equal W and the length of Z, equal V and the length of X, and equal U and the sub-string of X from W to V, then the concatenation of Z and U is X
(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?KEY ?STRING ?NAMESTRING))
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING))		 Media.kif 3301-3305 If X is a key in Y and X precedes Z in Y, then Z is after key X in Y
(=>
    (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

consequent
-------------------------


(=>
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
    (keyName ?KEY ?NAMESTRING))		 Media.kif 3285-3287 If X is after key Y in Z, then Y is a key in Z
(=>
    (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
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))		 Media.kif 3367-3372 If X is called Y, Z is a family name of X, and Z is a sub-string of Y, then Z is a key in Y
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))		 Media.kif 3376-3381 If X is called Y, Z is a given name of X, and Z is a sub-string of Y, then Z is a key in Y


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners