No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2186-2186 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3367-3367 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3586-3586 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3583-3583 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3587-3587 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3377-3377 |
geographicSubregion PantrasGreece and Greece |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2185-2185 |
PantrasGreece e' uma instancia de Cidade |