Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  keyName

Sigma KEE - keyName
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 3250-3252
(domain keyName 1 SymbolicString) Media.kif 3247-3247
(domain keyName 2 SymbolicString) Media.kif 3248-3248
(instance keyName AntisymmetricRelation) Media.kif 3244-3244
(instance keyName BinaryPredicate) Media.kif 3243-3243
(instance keyName PartialValuedRelation) Media.kif 3246-3246
(instance keyName ReflexiveRelation) Media.kif 3245-3245
(subrelation keyName subString) Media.kif 3249-3249

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


(format ChineseLanguage keyName "%1 是在 %2 的 key ") domainEnglishFormat.kif 3719-3719
(format ChineseTraditionalLanguage keyName "%1 是在 %2 的 key ") domainEnglishFormat.kif 3718-3718
(format EnglishLanguage keyName "%1 is a key in %2") domainEnglishFormat.kif 3717-3717

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


(=>
    (and
        (fullName ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (fullNameIndexOrder ?NAMESTRING ?THING))
Media.kif 3280-3285
(=>
    (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 3287-3294
(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?KEY ?STRING ?NAMESTRING))
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING))
Media.kif 3354-3358
(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?STRING ?KEY ?NAMESTRING))
    (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING))
Media.kif 3381-3385
(=>
    (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 3314-3321
(=>
    (and
        (names ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (nameIndexOrder ?NAMESTRING ?THING))
Media.kif 3307-3312

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))
Media.kif 3420-3425
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))
Media.kif 3429-3434
(=>
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
    (keyName ?KEY ?NAMESTRING))
Media.kif 3338-3340
(=>
    (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING)
    (keyName ?KEY ?NAMESTRING))
Media.kif 3370-3372


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners