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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TernaryFunction

 Sigma KEE - TernaryFunction
TernaryFunction(ternary function)

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


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

 chinese_format.kif 2007-2007
s__documentation(s__TernaryFunction,s__EnglishLanguage,'"The Class of Functions that require exactly three arguments."')

 Merge.kif 3377-3378
s__instance(s__Function,s__Class)

s__subclass(s__TernaryFunction,s__Function)

s__instance(s__TernaryFunction,s__Class)

 Merge.kif 3373-3373 Ternary function is a subclass of function
s__instance(s__InheritableRelation,s__Class)

s__subclass(s__TernaryFunction,s__InheritableRelation)

s__instance(s__TernaryFunction,s__Class)

 Merge.kif 3375-3375 Ternary function is a subclass of inheritable relation
s__instance(s__QuaternaryRelation,s__Class)

s__subclass(s__TernaryFunction,s__QuaternaryRelation)

s__instance(s__TernaryFunction,s__Class)

 Merge.kif 3374-3374 Ternary function is a subclass of quaternary relation

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


s__format(s__ChineseLanguage,s__TernaryFunction,'"%1, %2 和 %3 的 ternary 功能"')

 domainEnglishFormat.kif 2455-2455
s__format(s__ChineseTraditionalLanguage,s__TernaryFunction,'"%1, %2 和 %3 的 ternary 功能"')

 domainEnglishFormat.kif 2454-2454
s__format(s__EnglishLanguage,s__TernaryFunction,'"the ternary function of %1, %2 and %3"')

 domainEnglishFormat.kif 2453-2453
s__instance(s__MusicalInterpretationFn__m,s__TernaryFunction)

s__instance(s__TernaryFunction,s__Class)

 Music.kif 835-835 Musical interpretation is an instance of ternary function
s__instance(s__SubListFn__m,s__TernaryFunction)

s__instance(s__TernaryFunction,s__Class)

 Merge.kif 3088-3088 Sub-list function is an instance of ternary function
s__instance(s__SubstringFn__m,s__TernaryFunction)

s__instance(s__TernaryFunction,s__Class)

 Mid-level-ontology.kif 23620-23620 SubstringFn is an instance of ternary function
s__termFormat(s__ChineseLanguage,s__TernaryFunction,'"三元函数"')

 chinese_format.kif 923-923
s__termFormat(s__EnglishLanguage,s__TernaryFunction,'"ternary function"')

 english_format.kif 1053-1053

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


( ! [V__FUNCTION] :
   ((s__instance(V__FUNCTION,s__TernaryFunction) =>
       (s__valence(V__FUNCTION,n__3)))
   )
)

 Merge.kif 3380-3382


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