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