No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 348-348 |
比利時 是 西歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 350-350 |
法國 是 西歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 352-352 |
根西島 是 西歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 353-353 |
愛爾蘭 是 西歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 358-358 |
人島 是 西歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 355-355 |
球衣 是 西歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 356-356 |
盧森堡 是 西歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 359-359 |
摩納哥 是 西歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 361-361 |
荷蘭 是 西歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 363-363 |
英國 是 西歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 118-118 |
名 "Western Europe" and 西歐 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62775-62775 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62774-62774 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62773-62773 |
|