No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2609-2609 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7302-7302 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1322-1322 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6866-6866 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7883-7883 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7884-7884 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7885-7885 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7886-7886 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7887-7887 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7888-7888 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7893-7893 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7300-7300 |
例 金屬塊 and UnitOfMass |