| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 391-391 |
例 安道爾 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 349-349 |
例 比利時 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 847-847 |
例 捷克斯洛伐克 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 316-316 |
例 丹麥 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 319-319 |
例 芬蘭 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 351-351 |
例 法國 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 280-280 |
例 德國 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 332-332 |
例 希臘 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 334-334 |
例 教廷 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 321-321 |
例 冰島 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 354-354 |
例 愛爾蘭 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 336-336 |
例 意大利 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 338-338 |
例 馬耳他 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 360-360 |
例 摩納哥 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 362-362 |
例 荷蘭 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 324-324 |
例 挪威 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 286-286 |
例 波蘭 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 394-394 |
例 葡萄牙 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 340-340 |
例 聖馬力諾 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 80-80 |
例 前蘇聯 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 396-396 |
例 西班牙 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 327-327 |
例 瑞典 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 292-292 |
例 瑞士 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 364-364 |
例 英國 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22576-22576 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
EuropeanNation
