| (subclass BinaryFunction Function) | Merge.kif 3398-3398 | 2変数関数 は 関数 の subclass では %n |
| (subclass BinaryFunction TernaryRelation) | Merge.kif 3399-3399 | 2変数関数 は 三進法関係 の subclass では %n |
| (subclass BinaryFunction InheritableRelation) | Merge.kif 3400-3400 | 2変数関数 は InheritableRelation の subclass では %n |
| (subclass AssociativeFunction BinaryFunction) | Merge.kif 3409-3409 | 結合関数 は 2変数関数 の subclass では %n |
| (subclass CommutativeFunction BinaryFunction) | Merge.kif 3430-3430 | 可換関数 は 2変数関数 の subclass では %n |
|
|