| (subclass QuaternaryRelation Relation) | Merge.kif 2861-2861 | 4変数関係 は 関係 の subclass では %n |
| (subclass QuaternaryRelation InheritableRelation) | Merge.kif 2862-2862 | 4変数関係 は InheritableRelation の subclass では %n |
| (subclass TernaryFunction QuaternaryRelation) | Merge.kif 3451-3451 | 3変数関数 は 4変数関係 の subclass では %n |
| (subclass QuaternaryPredicate QuaternaryRelation) | Merge.kif 3501-3501 | 4進述語 は 4変数関係 の subclass では %n |
|
|