| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2365-2365 | 偏序关系 是 传递关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2366-2366 | 偏序关系 是 反对称关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2367-2367 | 偏序关系 是 自反关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2368-2368 | 偏序关系 是 总值关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2374-2374 | 全序关系 是 偏序关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 130-130 | 子类别 是 偏序关系 的 instance |
|
|