No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2143-2147 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4341-4346 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 799-803 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4337-4337 |
preventsSubclass 的 1 数量 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4338-4338 |
preventsSubclass 的 2 数量 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4334-4334 |
preventsSubclass 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4335-4335 |
preventsSubclass 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4336-4336 |
preventsSubclass 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4339-4339 |
preventsSubclass 和 hindersSubclass 是 内部相关 |