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 3469-3470 | |
(documentation TernaryFunction JapaneseLanguage "Function の Class は、正確に3つの引数を 必要とする 。") | japanese_format.kif 645-646 | |
(subclass TernaryFunction Function) | Merge.kif 3465-3465 | Ternary function is a subclass of function |
(subclass TernaryFunction InheritableRelation) | Merge.kif 3467-3467 | Ternary function is a subclass of inheritable relation |
(subclass TernaryFunction QuaternaryRelation) | Merge.kif 3466-3466 | Ternary function is a subclass of quaternary relation |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?FUNCTION TernaryFunction) (valence ?FUNCTION 3)) |
Merge.kif 3472-3474 |
|
![]() |
![]() |