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 3299-3300
(subclass TernaryFunction Function) Merge.kif 3295-3295 Ternary function is a subclass of function
(subclass TernaryFunction InheritableRelation) Merge.kif 3297-3297 Ternary function is a subclass of inheritable relation
(subclass TernaryFunction QuaternaryRelation) Merge.kif 3296-3296 Ternary function is a subclass of quaternary relation

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


(format ChineseLanguage TernaryFunction "%1, %2 和 %3 的 ternary 功能") domainEnglishFormat.kif 2451-2451
(format ChineseTraditionalLanguage TernaryFunction "%1, %2 和 %3 的 ternary 功能") domainEnglishFormat.kif 2450-2450
(format EnglishLanguage TernaryFunction "the ternary function of %1, %2 and %3") domainEnglishFormat.kif 2449-2449
(instance MusicalInterpretationFn TernaryFunction) Music.kif 834-834 Musical interpretation is an instance of ternary function
(instance SubListFn TernaryFunction) Merge.kif 3048-3048 Sub-list function is an instance of ternary function
(instance SubstringFn TernaryFunction) Mid-level-ontology.kif 22177-22177 SubstringFn is an instance of ternary function
(termFormat ChineseLanguage TernaryFunction "三元函数") chinese_format.kif 923-923
(termFormat EnglishLanguage TernaryFunction "ternary function") english_format.kif 1058-1058

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


(=>
    (instance ?FUNCTION TernaryFunction)
    (valence ?FUNCTION 3))
Merge.kif 3302-3304


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