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


KB Term:  Term intersection
English Word: 

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


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