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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TernaryFunction
TernaryFunction

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 3431-3432
(subclass TernaryFunction Function) Merge.kif 3427-3427 subclass TernaryFunction and Function
(subclass TernaryFunction InheritableRelation) Merge.kif 3429-3429 subclass TernaryFunction and InheritableRelation
(subclass TernaryFunction QuaternaryRelation) Merge.kif 3428-3428 subclass TernaryFunction and QuaternaryRelation

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 837-837 instance MusicalInterpretationFn and TernaryFunction
(instance SubListFn TernaryFunction) Merge.kif 3137-3137 instance SubListFn and TernaryFunction
(instance SubstringFn TernaryFunction) Mid-level-ontology.kif 24304-24304 instance SubstringFn and TernaryFunction
(termFormat ChineseLanguage TernaryFunction "三元函数") chinese_format.kif 923-923
(termFormat EnglishLanguage TernaryFunction "ternary function") english_format.kif 1053-1053

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


(=>
    (instance ?FUNCTION TernaryFunction)
    (valence ?FUNCTION 3))
Merge.kif 3434-3436


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