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 3341-3342 | |
(subclass TernaryFunction Function) | Merge.kif 3337-3337 | |
(subclass TernaryFunction InheritableRelation) | Merge.kif 3339-3339 | |
(subclass TernaryFunction QuaternaryRelation) | Merge.kif 3338-3338 |
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 834-834 | |
(instance SubListFn TernaryFunction) | Merge.kif 3053-3053 | |
(instance SubstringFn TernaryFunction) | Mid-level-ontology.kif 22208-22208 | |
(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 3344-3346 |
![]() |
![]() |