(subclass SingleValuedRelation Relation) | Merge.kif 2176-2176 | 单值关系 是 关系 的 subclass |
(subclass SingleValuedRelation InheritableRelation) | Merge.kif 2177-2177 | 单值关系 是 可继承的关系 的 subclass |
(subclass Function SingleValuedRelation) | Merge.kif 3351-3351 | 函数 是 单值关系 的 subclass |