No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9459-9498 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7762-7762 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7763-7763 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6830-6830 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7764-7764 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7765-7765 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7760-7760 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7766-7766 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7767-7767 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7768-7768 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7761-7761 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9458-9458 |
罗马尼亚语 是 东方浪漫语言 的 instance |