No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8388-8388 |
例 一同發生 and EquivalenceRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3846-3846 |
例 複製 and EquivalenceRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4491-4491 |
例 等效內容類 and EquivalenceRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4547-4547 |
例 等效內容實例 and EquivalenceRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3319-3319 |
例 相同的清單項目 and EquivalenceRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 615-615 |
例 相關的內部概念 and EquivalenceRelation |
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 |
|