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" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62777-62777 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62776-62776 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62775-62775 |
|