| 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