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

Formal Language: 



KB Term:  Term intersection
English Word: 

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