(subclass SingleValuedRelation Relation) | Merge.kif 2176-2176 | 一価関係 は 関係 の subclass では %n |
(subclass SingleValuedRelation InheritableRelation) | Merge.kif 2177-2177 | 一価関係 は InheritableRelation の subclass では %n |
(subclass Function SingleValuedRelation) | Merge.kif 3350-3350 | 関数 は 一価関係 の subclass では %n |