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
-------------------------


s__documentation(s__keyName__m,s__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 3264-3266
s__domain(s__keyName__m,n__1,s__SymbolicString)

 Media.kif 3261-3261 The number 1 argument of keyName is an instance of symbolic string
s__domain(s__keyName__m,n__2,s__SymbolicString)

 Media.kif 3262-3262 The number 2 argument of keyName is an instance of symbolic string
s__instance(s__AntisymmetricRelation,s__Class)

s__instance(s__keyName__m,s__AntisymmetricRelation)

 Media.kif 3258-3258 keyName is an instance of antisymmetric relation
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__keyName__m,s__BinaryPredicate)

 Media.kif 3257-3257 keyName is an instance of binary predicate
s__instance(s__PartialValuedRelation,s__Class)

s__instance(s__keyName__m,s__PartialValuedRelation)

 Media.kif 3260-3260 keyName is an instance of partial valued relation
s__instance(s__ReflexiveRelation,s__Class)

s__instance(s__keyName__m,s__ReflexiveRelation)

 Media.kif 3259-3259 keyName is an instance of reflexive relation
s__subrelation(s__keyName__m,s__subString__m)

 Media.kif 3263-3263 keyName is a subrelation of subString

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


s__format(s__ChineseLanguage,s__keyName__m,'"%1 是在 %2 的 key "')

 domainEnglishFormat.kif 3723-3723
s__format(s__ChineseTraditionalLanguage,s__keyName__m,'"%1 是在 %2 的 key "')

 domainEnglishFormat.kif 3722-3722
s__format(s__EnglishLanguage,s__keyName__m,'"%1 is a key in %2"')

 domainEnglishFormat.kif 3721-3721

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


( ! [V__NAMESTRING,V__REST,V__THING,V__FIRST] :
   (((s__instance(V__NAMESTRING,s__SymbolicString) &
         s__instance(V__REST,s__SymbolicString) &
         s__instance(V__FIRST,s__SymbolicString))
       =>
       (((s__fullName(V__NAMESTRING,V__THING)
           &
           s__keyName(V__FIRST,V__NAMESTRING)
         &
         s__stringConcatenation(V__FIRST,V__REST,V__NAMESTRING))
     =>
     (s__fullNameIndexOrder(V__NAMESTRING,V__THING)))))
)
)

 Media.kif 3294-3299
( ! [V__END,V__NAMESTRING,V__START,V__REST,V__THING,V__FIRST] :
   (((s__instance(V__END,s__NonnegativeInteger) &
         s__instance(V__NAMESTRING,s__SymbolicString) &
         s__instance(V__START,s__NonnegativeInteger) &
         s__instance(V__REST,s__SymbolicString) &
         s__instance(V__FIRST,s__SymbolicString))
       =>
       (((s__fullNameIndexOrder(V__NAMESTRING,V__THING)
           &
           s__keyName(V__FIRST,V__NAMESTRING)
         &
         (V__START = s__StringLengthFn(V__FIRST))
       &
       (V__END = s__StringLengthFn(V__NAMESTRING))
     &
     (V__REST = s__SubstringFn(V__NAMESTRING,V__START,V__END)))
=>
(s__stringConcatenation(V__FIRST,V__REST,V__NAMESTRING)))))
)
)

 Media.kif 3301-3308
( ! [V__STRING,V__NAMESTRING,V__KEY] :
   (((s__instance(V__STRING,s__SymbolicString) &
         s__instance(V__NAMESTRING,s__SymbolicString) &
         s__instance(V__KEY,s__SymbolicString))
       =>
       (((s__keyName(V__KEY,V__NAMESTRING)
           &
           s__precedesInString(V__KEY,V__STRING,V__NAMESTRING))
       =>
       (s__nameAfterKeyName(V__STRING,V__KEY,V__NAMESTRING)))))
)
)

 Media.kif 3368-3372
( ! [V__STRING,V__NAMESTRING,V__KEY] :
   (((s__instance(V__STRING,s__SymbolicString) &
         s__instance(V__NAMESTRING,s__SymbolicString) &
         s__instance(V__KEY,s__SymbolicString))
       =>
       (((s__keyName(V__KEY,V__NAMESTRING)
           &
           s__precedesInString(V__STRING,V__KEY,V__NAMESTRING))
       =>
       (s__nameBeforeKeyName(V__STRING,V__KEY,V__NAMESTRING)))))
)
)

 Media.kif 3395-3399
( ! [V__END,V__NAMESTRING,V__START,V__REST,V__THING,V__FIRST] :
   (((s__instance(V__END,s__NonnegativeInteger) &
         s__instance(V__NAMESTRING,s__SymbolicString) &
         s__instance(V__START,s__NonnegativeInteger) &
         s__instance(V__REST,s__SymbolicString) &
         s__instance(V__FIRST,s__SymbolicString))
       =>
       (((s__nameIndexOrder(V__NAMESTRING,V__THING)
           &
           s__keyName(V__FIRST,V__NAMESTRING)
         &
         (V__START = s__StringLengthFn(V__FIRST))
       &
       (V__END = s__StringLengthFn(V__NAMESTRING))
     &
     (V__REST = s__SubstringFn(V__NAMESTRING,V__START,V__END)))
=>
(s__stringConcatenation(V__FIRST,V__REST,V__NAMESTRING)))))
)
)

 Media.kif 3328-3335
( ! [V__NAMESTRING,V__REST,V__THING,V__FIRST] :
   (((s__instance(V__NAMESTRING,s__SymbolicString) &
         s__instance(V__REST,s__SymbolicString) &
         s__instance(V__FIRST,s__SymbolicString))
       =>
       (((s__names(V__NAMESTRING,V__THING)
           &
           s__keyName(V__FIRST,V__NAMESTRING)
         &
         s__stringConcatenation(V__FIRST,V__REST,V__NAMESTRING))
     =>
     (s__nameIndexOrder(V__NAMESTRING,V__THING)))))
)
)

 Media.kif 3321-3326

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


( ! [V__STRING,V__HUMAN,V__NAMESTRING] :
   (((s__instance(V__STRING,s__SymbolicString) &
         s__instance(V__HUMAN,s__Human) &
         s__instance(V__NAMESTRING,s__SymbolicString))
       =>
       (((s__humanName(V__NAMESTRING,V__HUMAN)
           &
           s__familyName(V__STRING,V__HUMAN)
         &
         s__subString(V__STRING,V__NAMESTRING))
     =>
     (s__keyName(V__STRING,V__NAMESTRING)))))
)
)

 Media.kif 3434-3439
( ! [V__STRING,V__HUMAN,V__NAMESTRING] :
   (((s__instance(V__STRING,s__SymbolicString) &
         s__instance(V__HUMAN,s__Human) &
         s__instance(V__NAMESTRING,s__SymbolicString))
       =>
       (((s__humanName(V__NAMESTRING,V__HUMAN)
           &
           s__givenName(V__STRING,V__HUMAN)
         &
         s__subString(V__STRING,V__NAMESTRING))
     =>
     (~(s__keyName(V__STRING,V__NAMESTRING))))))
)
)

 Media.kif 3443-3448
( ! [V__STRING,V__NAMESTRING,V__KEY] :
   (((s__instance(V__STRING,s__SymbolicString) &
         s__instance(V__NAMESTRING,s__SymbolicString) &
         s__instance(V__KEY,s__SymbolicString))
       =>
       ((s__nameAfterKeyName(V__STRING,V__KEY,V__NAMESTRING)
         =>
         (s__keyName(V__KEY,V__NAMESTRING)))))
)
)

 Media.kif 3352-3354
( ! [V__STRING,V__NAMESTRING,V__KEY] :
   (((s__instance(V__STRING,s__SymbolicString) &
         s__instance(V__NAMESTRING,s__SymbolicString) &
         s__instance(V__KEY,s__SymbolicString))
       =>
       ((s__nameBeforeKeyName(V__STRING,V__KEY,V__NAMESTRING)
         =>
         (s__keyName(V__KEY,V__NAMESTRING)))))
)
)

 Media.kif 3384-3386


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