No TPTP formula. May not be expressible in strict first order. | Merge.kif 2232-2232 | 二元关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2233-2233 | 二元关系 是 可继承的关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16900-16900 | 经济关系 是 二元关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2239-2239 | 自反关系 是 二元关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2249-2249 | 非自反关系 是 二元关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2260-2260 | 对称关系 是 二元关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2292-2292 | 反对称关系 是 二元关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2310-2310 | 三分关系 是 二元关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2333-2333 | 传递关系 是 二元关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2349-2349 | 非传递关系 是 二元关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3359-3359 | 一元函数 是 二元关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3479-3479 | 二元谓语 是 二元关系 的 subclass |