No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 391-391 |
安道尔 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 349-349 |
比利时 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 847-847 |
捷克斯洛伐克 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 316-316 |
丹麦 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 319-319 |
芬兰 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 351-351 |
法国 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 280-280 |
德国 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 332-332 |
希腊 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 334-334 |
教廷 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 321-321 |
冰岛 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 354-354 |
爱尔兰 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 336-336 |
意大利 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 338-338 |
马耳他 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 360-360 |
摩纳哥 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 362-362 |
荷兰 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 324-324 |
挪威 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 286-286 |
波兰 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 394-394 |
葡萄牙 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 340-340 |
圣马力诺 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 80-80 |
前苏联 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 396-396 |
西班牙 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 327-327 |
瑞典 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 292-292 |
瑞士 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 364-364 |
英国 是 欧洲国家 的 instance |
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 |