No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2184-2184 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5415-5415 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5416-5416 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5414-5414 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5418-5418 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5413-5413 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5417-5417 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5419-5419 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3375-3375 |
geographicSubregion PanamaCityPanama and Panama |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2183-2183 |
PanamaCityPanama e' uma instancia de Cidade |