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

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


(format ChineseLanguage keyName "%1 是在 %2 的 key ") domainEnglishFormat.kif 3723-3723
(format ChineseTraditionalLanguage keyName "%1 是在 %2 的 key ") domainEnglishFormat.kif 3722-3722
(format EnglishLanguage keyName "%1 is a key in %2") domainEnglishFormat.kif 3721-3721

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


(=>
    (and
        (fullName ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (fullNameIndexOrder ?NAMESTRING ?THING))
Media.kif 3282-3287
(=>
    (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 3289-3296
(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?KEY ?STRING ?NAMESTRING))
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING))
Media.kif 3356-3360
(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?STRING ?KEY ?NAMESTRING))
    (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING))
Media.kif 3383-3387
(=>
    (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 3316-3323
(=>
    (and
        (names ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (nameIndexOrder ?NAMESTRING ?THING))
Media.kif 3309-3314

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))
Media.kif 3422-3427
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))
Media.kif 3431-3436
(=>
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
    (keyName ?KEY ?NAMESTRING))
Media.kif 3340-3342
(=>
    (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING)
    (keyName ?KEY ?NAMESTRING))
Media.kif 3372-3374


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 is open source software produced by Articulate Software and its partners