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 3282-3284
(domain keyName 1 SymbolicString) Media.kif 3279-3279 域 keyName, 1 and SymbolicString
(domain keyName 2 SymbolicString) Media.kif 3280-3280 域 keyName, 2 and SymbolicString
(instance keyName AntisymmetricRelation) Media.kif 3276-3276 例 keyName and AntisymmetricRelation
(instance keyName BinaryPredicate) Media.kif 3275-3275 例 keyName and BinaryPredicate
(instance keyName PartialValuedRelation) Media.kif 3278-3278 例 keyName and PartialValuedRelation
(instance keyName ReflexiveRelation) Media.kif 3277-3277 例 keyName and ReflexiveRelation
(subrelation keyName subString) Media.kif 3281-3281 子關係 keyName and subString

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


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

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


(=>
    (and
        (fullName ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (fullNameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3312-3317
(=>
    (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 3319-3326
(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?KEY ?STRING ?NAMESTRING))
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING))		 Media.kif 3386-3390
(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?STRING ?KEY ?NAMESTRING))
    (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING))		 Media.kif 3413-3417
(=>
    (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 3346-3353
(=>
    (and
        (names ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (nameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3339-3344

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))		 Media.kif 3452-3457
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))		 Media.kif 3461-3466
(=>
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
    (keyName ?KEY ?NAMESTRING))		 Media.kif 3370-3372
(=>
    (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING)
    (keyName ?KEY ?NAMESTRING))		 Media.kif 3402-3404


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