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 |