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


KB Term:  Term intersection
English Word: 

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