No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2544-2544 |
Apumirac 秘魯 是 秘魯 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2578-2578 |
Ayacucho 秘魯 是 秘魯 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2760-2760 |
庫斯科秘魯 是 秘魯 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2935-2935 |
Huallga秘魯 是 秘魯 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2974-2974 |
Jangas秘魯 是 秘魯 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3124-3124 |
利馬秘魯 是 秘魯 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3417-3417 |
Ramal de aspusana 秘魯 是 秘魯 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4140-4140 |
名 "Peru" and 秘魯 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45354-45354 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45353-45353 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45352-45352 |
|