| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3478-3478 | 二元谓语 是 谓语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3479-3479 | 二元谓语 是 二元关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3480-3480 | 二元谓语 是 可继承的关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2400-2400 | 格角色 是 二元谓语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 643-643 | BinaryRelationExtendedToQuantities 是 二元谓语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6406-6406 | SheddingPart 是 二元谓语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 129-129 | 子类别 是 二元谓语 的 instance |
|
|