No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2544-2544 |
geographicSubregion ApumiracPeru and Peru |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2578-2578 |
geographicSubregion AyacuchoPeru and Peru |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2760-2760 |
geographicSubregion CuzcoPeru and Peru |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2935-2935 |
geographicSubregion HuallgaPeru and Peru |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2974-2974 |
geographicSubregion JangasPeru and Peru |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3124-3124 |
geographicSubregion LimaPeru and Peru |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3417-3417 |
geographicSubregion RamalDeAspusanaPeru and Peru |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4140-4140 |
Peru s'appele nom "Peru" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45356-45356 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45355-45355 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45354-45354 |
|