No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8388-8388 |
同时发生 是 等价关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3846-3846 |
副本 是 等价关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4491-4491 |
内容等效类 是 等价关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4547-4547 |
内容等效实例 是 等价关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3319-3319 |
相同的清单项目 是 等价关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 615-615 |
内部相关的概念 是 等价关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 903-903 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1013-1013 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 579-579 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 109-109 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 112-112 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2264-2264 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 531-531 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 146-146 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 600-600 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 113-113 |
|