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" and 西南歐 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54356-54356 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54355-54355 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54354-54354 |
|