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。") chinese_format.kif 2007-2007
(documentation TernaryFunction EnglishLanguage "The Class of Functions that require exactly three arguments.") Merge.kif 3388-3389
(subclass TernaryFunction Function) Merge.kif 3384-3384 三元函数函数subclass
(subclass TernaryFunction InheritableRelation) Merge.kif 3386-3386 三元函数可继承的关系subclass
(subclass TernaryFunction QuaternaryRelation) Merge.kif 3385-3385 三元函数四元关系subclass

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 835-835 MusicalInterpretationFn三元函数instance
(instance SubListFn TernaryFunction) Merge.kif 3094-3094 SubListFn三元函数instance
(instance SubstringFn TernaryFunction) Mid-level-ontology.kif 23790-23790 SubstringFn三元函数instance
(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 3391-3393


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