No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2328-2328 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5657-5657 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5791-5791 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5789-5789 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5792-5792 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5790-5790 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3529-3529 |
geographicSubregion SiirtTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2327-2327 |
SiirtTurkey est une instance de ville |