No TPTP formula. May not be expressible in strict first order. | Merge.kif 3500-3500 | 四元谓语 是 谓语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3501-3501 | 四元谓语 是 四元关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3502-3502 | 四元谓语 是 可继承的关系 的 subclass |
![]() |