No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1469-1469 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3402-3402 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3399-3399 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3396-3396 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3398-3398 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4513-4513 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3404-3404 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3406-3406 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3405-3405 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3397-3397 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3296-3296 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3401-3401 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3407-3407 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2570-2570 |
geographicSubregion AthensGreece and Greece |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1468-1468 |
AthensGreece est une instance de ville |