No TPTP formula. May not be expressible in strict first order. |
Media.kif 2562-2562 |
AalandIslands 是 芬兰 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3726-3726 |
美国萨摩亚 是 美国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3728-3728 |
安圭拉 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3730-3730 |
阿鲁巴 是 荷兰 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3732-3732 |
阿什莫尔和卡地亚岛屿 是 澳大利亚 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3734-3734 |
贝克岛 是 美国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3736-3736 |
Bassas da 印度 是 法国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3738-3738 |
百慕大 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3740-3740 |
布维岛 是 挪威 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3742-3742 |
英属印度洋领地 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3744-3744 |
英属维尔京群岛 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3747-3747 |
开曼群岛 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3750-3750 |
ChannelIslands 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3754-3754 |
圣诞岛 是 澳大利亚 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3756-3756 |
Clipperton岛 是 法国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3758-3758 |
科科斯基林群岛 是 澳大利亚 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3760-3760 |
库克群岛 是 新西兰 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3762-3762 |
珊瑚海岛屿 是 澳大利亚 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3764-3764 |
欧罗巴岛 是 法国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3766-3766 |
福克兰群岛 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3768-3768 |
法罗群岛 是 丹麦 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3770-3770 |
法属圭亚那 是 法国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3772-3772 |
法属波利尼西亚 是 法国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3774-3774 |
法国南部和南极的土地 是 法国 的 dependent |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |