No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1925-1925 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5755-5755 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5637-5637 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3085-3085 |
geographicSubregion KiursehirBoztepTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1924-1924 |
KiursehirBoztepTurkey e' uma instancia de Cidade |