No TPTP formula. May not be expressible in strict first order. | Merge.kif 2176-2176 | 单值关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2177-2177 | 单值关系 是 可继承的关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3350-3350 | 函数 是 单值关系 的 subclass |