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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TernaryFunction

Sigma KEE - TernaryFunction
TernaryFunction

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


(documentation TernaryFunction ChineseLanguage "这是个需要恰好三个参数的 Function Class。") Merge.kif 3536-3536
(documentation TernaryFunction EnglishLanguage "The Class of Functions that require exactly three arguments.") Merge.kif 3534-3535
(subclass TernaryFunction Function) Merge.kif 3531-3531
(subclass TernaryFunction InheritableRelation) Merge.kif 3533-3533
(subclass TernaryFunction QuaternaryRelation) Merge.kif 3532-3532

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


(format EnglishLanguage TernaryFunction "the ternary function of %1, %2 and %3") domainEnglishFormat.kif 621-621
(instance MusicalInterpretationFn TernaryFunction) Music.kif 840-840
(instance SubstringFn TernaryFunction) Mid-level-ontology.kif 22133-22133
(termFormat ChineseLanguage TernaryFunction "三元函数") chinese_format.kif 923-923
(termFormat EnglishLanguage TernaryFunction "ternary function") english_format.kif 610-610
(termFormat FrenchLanguage TernaryFunction "fonction ternaire") french_format.kif 599-599
(termFormat Hindi TernaryFunction "tri-angI prakaarya") terms-hindi.txt 129-129
(termFormat ItalianLanguage TernaryFunction "FunzioneTernaria") terms-it.txt 130-130
(termFormat PortugueseLanguage TernaryFunction "Funcao Ternaria") portuguese_format.kif 551-551
(termFormat ar TernaryFunction "تَابِع ثُلاثِي") arabic_format.kif 335-335
(termFormat cz TernaryFunction "ternary function") terms-cz.txt 166-166
(termFormat tg TernaryFunction "tatlong tungkulin") terms-tg.txt 133-133

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


(=>
    (instance ?FUNCTION TernaryFunction)
    (valence ?FUNCTION 3))
Merge.kif 3538-3540


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners