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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TernaryFunction
TernaryFunction(fonction ternaire)

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


(documentation TernaryFunction ChineseLanguage "这是个需要恰好三个参数的 Function Class。") chinese_format.kif 2007-2007
(documentation TernaryFunction EnglishLanguage "The Class of Functions that require exactly three arguments.") Merge.kif 3454-3455
(documentation TernaryFunction JapaneseLanguage "FunctionClass は、正確に3つの引数を 必要とする 。") japanese_format.kif 645-646
(subclass TernaryFunction Function) Merge.kif 3450-3450 Fonction ternaire est une sous-classe de function
(subclass TernaryFunction InheritableRelation) Merge.kif 3452-3452 Fonction ternaire est une sous-classe de InheritableRelation
(subclass TernaryFunction QuaternaryRelation) Merge.kif 3451-3451 Fonction ternaire est une sous-classe de relation quaternaire

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


(format ChineseLanguage TernaryFunction "%1, %2 和 %3 的 ternary 功能") domainEnglishFormat.kif 2455-2455
(format ChineseTraditionalLanguage TernaryFunction "%1, %2 和 %3 的 ternary 功能") domainEnglishFormat.kif 2454-2454
(format EnglishLanguage TernaryFunction "the ternary function of %1, %2 and %3") domainEnglishFormat.kif 2453-2453
(instance MusicalInterpretationFn TernaryFunction) Music.kif 838-838 MusicalInterpretationFn est une instance de fonction ternaire
(instance SubListFn TernaryFunction) Merge.kif 3160-3160 SubListFn est une instance de fonction ternaire
(instance SubstringFn TernaryFunction) Mid-level-ontology.kif 24413-24413 SubstringFn est une instance de fonction ternaire
(termFormat ChineseLanguage TernaryFunction "三元函数") chinese_format.kif 923-923
(termFormat EnglishLanguage TernaryFunction "ternary function") english_format.kif 1053-1053
(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 132-132
(termFormat JapaneseLanguage TernaryFunction "3変数関数") japanese_format.kif 2284-2284
(termFormat PortugueseLanguage TernaryFunction "Funcao Ternaria") portuguese_format.kif 551-551
(termFormat cz TernaryFunction "ternary function") terms-cz.txt 166-166
(termFormat ro TernaryFunction "funcþie ternarã") relations-ro.kif 620-620
(termFormat tg TernaryFunction "tatlong tungkulin") terms-tg.txt 133-133

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


(=>
    (instance ?FUNCTION TernaryFunction)
    (valence ?FUNCTION 3))
Merge.kif 3457-3459


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 is open source software produced by Articulate Software and its partners