No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2692-2701 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3910-3916 | |
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. | Merge.kif 2401-2401 | 格角色 是 可继承的关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2402-2402 | 格角色 是 非对称关系 的 subclass |