No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1431-1431 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8337-8337 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8864-8864 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8865-8865 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8866-8866 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8867-8867 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8868-8868 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8869-8869 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8870-8870 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8871-8871 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8873-8873 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8874-8874 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2532-2532 |
安第斯西班牙 是 西班牙 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1430-1430 |
安第斯西班牙 是 城市 的 instance |