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 |
Andean spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1430-1430 |
Andean spain is an instance of city |