QuaternaryFunction(4変数関数) |
appearance as argument number 1 |
![]() |
(documentation QuaternaryFunction ChineseLanguage "这是个需要恰好四个参数的 Function Class。") | chinese_format.kif 2008-2009 | |
(documentation QuaternaryFunction EnglishLanguage "The Class of Functions that require exactly four arguments.") | Merge.kif 3480-3481 | |
(documentation QuaternaryFunction JapaneseLanguage "Function の Class は、正確に4つの 引数を必要とする。") | japanese_format.kif 647-648 | |
(subclass QuaternaryFunction Function) | Merge.kif 3476-3476 | 4変数関数 は 関数 の subclass では |
(subclass QuaternaryFunction InheritableRelation) | Merge.kif 3478-3478 | 4変数関数 は InheritableRelation の subclass では |
(subclass QuaternaryFunction QuintaryRelation) | Merge.kif 3477-3477 | 4変数関数 は 5進法関係 の subclass では |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?FUNCTION QuaternaryFunction) (valence ?FUNCTION 4)) |
Merge.kif 3483-3485 |
![]() |
![]() |