No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3880-3880 |
直布罗陀 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3881-3881 |
Glorioso岛屿 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3882-3882 |
格陵兰 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3883-3883 |
瓜德罗普岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3884-3884 |
关岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3885-3885 |
根西岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3886-3886 |
听过岛屿和麦当劳群岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3887-3887 |
香港 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3888-3888 |
Howland岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3889-3889 |
人岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3890-3890 |
Jan mayen 岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3891-3891 |
贾维斯岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3892-3892 |
球衣 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3893-3893 |
约翰斯顿环礁 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3894-3894 |
胡安德诺瓦岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3895-3895 |
金曼礁 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3896-3896 |
澳门 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3897-3897 |
马提尼克 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3898-3898 |
马约特 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3899-3899 |
中途岛屿 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3900-3900 |
蒙特塞拉特 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3901-3901 |
纳瓦萨岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3902-3902 |
荷属安的列斯 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3903-3903 |
新喀里多尼亚 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3904-3904 |
纽埃 是 依赖或特殊主权领域 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |