(subclass QuaternaryFunction Function) | Merge.kif 3461-3461 | 4変数関数 は 関数 の subclass では %n |
(subclass QuaternaryFunction QuintaryRelation) | Merge.kif 3462-3462 | 4変数関数 は 5進法関係 の subclass では %n |
(subclass QuaternaryFunction InheritableRelation) | Merge.kif 3463-3463 | 4変数関数 は InheritableRelation の subclass では %n |