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


KB Term:  Term intersection
English Word: 

  TernaryFunction

 Sigma KEE - TernaryFunction
TernaryFunction(ternary function)

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


(subclass TernaryFunction Function) Merge.kif 3563-3563 Ternary function is a subclass of function
(subclass TernaryFunction QuaternaryRelation) Merge.kif 3564-3564 Ternary function is a subclass of quaternary relation
(subclass TernaryFunction InheritableRelation) Merge.kif 3565-3565 Ternary function is a subclass of inheritable relation
(documentation TernaryFunction EnglishLanguage "The Class of Functions that require exactly three arguments.") Merge.kif 3567-3568 Ternary function is a subclass of inheritable relation

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


(instance SubListFn TernaryFunction) Merge.kif 3271-3271 Sub-list function is an instance of ternary function
(instance AmountsFn TernaryFunction) Merge.kif 7716-7716 Amounts fn is an instance of ternary function
(instance SubstringFn TernaryFunction) Mid-level-ontology.kif 26712-26712 Substring fn is an instance of ternary function
(instance MusicalInterpretationFn TernaryFunction) Music.kif 840-840 Musical interpretation is an instance of ternary function
(instance MeanMonthSSTFn TernaryFunction) Weather.kif 612-612 Mean month sea surface temperature is an instance of ternary function
(instance DailyTempListFn TernaryFunction) Weather.kif 631-631 Daily temperature list of the month is an instance of ternary function
(instance ThreeMonthsRunningMeanSSTFn TernaryFunction) Weather.kif 775-775 Three months running mean sea surface temperature is an instance of ternary function
(instance ThirtyYearAverageSSTForMonthFn TernaryFunction) Weather.kif 809-809 Thirty year average sea surface temperature for month is an instance of ternary function
(format EnglishLanguage TernaryFunction "the ternary function of %1, %2 and %3") domainEnglishFormat.kif 2457-2457 Thirty year average sea surface temperature for month is an instance of ternary function
(format ChineseTraditionalLanguage TernaryFunction "%1, %2 和 %3 的 ternary 功能") domainEnglishFormat.kif 2458-2458 Thirty year average sea surface temperature for month is an instance of ternary function
(format ChineseLanguage TernaryFunction "%1, %2 和 %3 的 ternary 功能") domainEnglishFormat.kif 2459-2459 Thirty year average sea surface temperature for month is an instance of ternary function
(termFormat EnglishLanguage TernaryFunction "ternary function") english_format.kif 1057-1057 Thirty year average sea surface temperature for month is an instance of ternary function

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


(=>
    (instance ?FUNCTION TernaryFunction)
    (valence ?FUNCTION 3))		 Merge.kif 3570-3572 If X is an instance of ternary function, then X has 3 argument(s)


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners