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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TernaryFunction
TernaryFunction(ternary function)

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 3449-3450
(documentation TernaryFunction JapaneseLanguage "Function の Class は、正確に３つの引数を 必要とする 。") japanese_format.kif 645-646
(subclass TernaryFunction Function) Merge.kif 3445-3445 Ternary function is a subclass of function
(subclass TernaryFunction InheritableRelation) Merge.kif 3447-3447 Ternary function is a subclass of inheritable relation
(subclass TernaryFunction QuaternaryRelation) Merge.kif 3446-3446 Ternary function is a subclass of quaternary relation

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


(format ChineseLanguage TernaryFunction "%1, %2 和 %3 的 ternary 功能") domainEnglishFormat.kif 2459-2459
(format ChineseTraditionalLanguage TernaryFunction "%1, %2 和 %3 的 ternary 功能") domainEnglishFormat.kif 2458-2458
(format EnglishLanguage TernaryFunction "the ternary function of %1, %2 and %3") domainEnglishFormat.kif 2457-2457
(instance MusicalInterpretationFn TernaryFunction) Music.kif 838-838 Musical interpretation is an instance of ternary function
(instance SubListFn TernaryFunction) Merge.kif 3155-3155 Sub_list function is an instance of ternary function
(instance SubstringFn TernaryFunction) Mid-level-ontology.kif 25532-25532 Substring fn is an instance of ternary function
(termFormat ChineseLanguage TernaryFunction "三元函数") chinese_format.kif 923-923 Substring fn is an instance of ternary function
(termFormat EnglishLanguage TernaryFunction "ternary function") english_format.kif 1053-1053 Substring fn is an instance of ternary function
(termFormat FrenchLanguage TernaryFunction "fonction ternaire") french_format.kif 599-599 Substring fn is an instance of ternary function
(termFormat Hindi TernaryFunction "tri-angI prakaarya") terms-hindi.txt 129-129 Substring fn is an instance of ternary function
(termFormat ItalianLanguage TernaryFunction "FunzioneTernaria") terms-it.txt 132-132 Substring fn is an instance of ternary function
(termFormat JapaneseLanguage TernaryFunction "3変数関数") japanese_format.kif 2284-2284 Substring fn is an instance of ternary function
(termFormat PortugueseLanguage TernaryFunction "Funcao Ternaria") portuguese_format.kif 551-551 Substring fn is an instance of ternary function
(termFormat cz TernaryFunction "ternary function") terms-cz.txt 166-166 Substring fn is an instance of ternary function
(termFormat de TernaryFunction "dreistellige Funktion") terms-de.txt 425-425 Substring fn is an instance of ternary function
(termFormat ro TernaryFunction "funcþie ternarã") relations-ro.kif 620-620 Substring fn is an instance of ternary function
(termFormat tg TernaryFunction "tatlong tungkulin") terms-tg.txt 133-133 Substring fn is an instance of ternary function

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


(=>
    (instance ?FUNCTION TernaryFunction)
    (valence ?FUNCTION 3))		 Merge.kif 3452-3454


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