(subclass QuaternaryPredicate Predicate) | Merge.kif 3500-3500 | 4進述語 は 述語 の subclass では %n |
(subclass QuaternaryPredicate QuaternaryRelation) | Merge.kif 3501-3501 | 4進述語 は 4変数関係 の subclass では %n |
(subclass QuaternaryPredicate InheritableRelation) | Merge.kif 3502-3502 | 4進述語 は InheritableRelation の subclass では %n |