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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QuaternaryFunction

 Sigma KEE - QuaternaryFunction
QuaternaryFunction(quaternary function)

appearance as argument number 1
-------------------------


s__documentation(s__QuaternaryFunction,s__ChineseLanguage,'"这是个需要恰好四个参数的 Function Class。"')

 chinese_format.kif 2008-2009
s__documentation(s__QuaternaryFunction,s__EnglishLanguage,'"The Class of Functions that require exactly four arguments."')

 Merge.kif 3388-3389
s__instance(s__QuaternaryFunction,s__Class)

s__subclass(s__QuaternaryFunction,s__Function)

s__instance(s__Function,s__Class)

 Merge.kif 3384-3384 Quaternary function is a subclass of function
s__instance(s__QuaternaryFunction,s__Class)

s__instance(s__InheritableRelation,s__Class)

s__subclass(s__QuaternaryFunction,s__InheritableRelation)

 Merge.kif 3386-3386 Quaternary function is a subclass of inheritable relation
s__instance(s__QuaternaryFunction,s__Class)

s__subclass(s__QuaternaryFunction,s__QuintaryRelation)

s__instance(s__QuintaryRelation,s__Class)

 Merge.kif 3385-3385 Quaternary function is a subclass of quintary relation

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


s__format(s__ChineseLanguage,s__QuaternaryFunction,'"%1, %2, %3 和 %4 的 quaternary 功能"')

 domainEnglishFormat.kif 2083-2083
s__format(s__ChineseTraditionalLanguage,s__QuaternaryFunction,'"%1, %2, %3 和 %4 的 quaternary 功能"')

 domainEnglishFormat.kif 2082-2082
s__format(s__EnglishLanguage,s__QuaternaryFunction,'"the quaternary function of %1, %2, %3 and %4"')

 domainEnglishFormat.kif 2081-2081
s__instance(s__QuaternaryFunction,s__Class)

s__instance(s__AccelerationFn__m,s__QuaternaryFunction)

 Cars.kif 1278-1278 AccelerationFn is an instance of quaternary function
s__instance(s__QuaternaryFunction,s__Class)

s__instance(s__SellersOtherItemsFn__m,s__QuaternaryFunction)

 UXExperimentalTerms.kif 1211-1211 Sellers other items is an instance of quaternary function
s__instance(s__QuaternaryFunction,s__Class)

s__instance(s__StreetAddressFn__m,s__QuaternaryFunction)

 Mid-level-ontology.kif 6342-6342 Street address is an instance of quaternary function
s__instance(s__QuaternaryFunction,s__Class)

s__instance(s__VelocityFn__m,s__QuaternaryFunction)

 Merge.kif 6458-6458 Velocity is an instance of quaternary function
s__termFormat(s__ChineseLanguage,s__QuaternaryFunction,'"四元函数"')

 chinese_format.kif 924-924
s__termFormat(s__EnglishLanguage,s__QuaternaryFunction,'"quaternary function"')

 english_format.kif 1055-1055

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


( ! [V__FUNCTION] :
   ((s__instance(V__FUNCTION,s__QuaternaryFunction) =>
       (s__valence(V__FUNCTION,n__4)))
   )
)

 Merge.kif 3391-3393


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