No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 390-390 |
安道尔 是 西南欧 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 392-392 |
直布罗陀 是 西南欧 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 393-393 |
葡萄牙 是 西南欧 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 395-395 |
西班牙 是 西南欧 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 120-120 |
西南欧 的名 是 "Southwestern Europe" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54354-54354 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54353-54353 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54352-54352 |
|