No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8018-8018 |
独立国家 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2561-2561 |
AalandIslands 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3858-3858 |
美国萨摩亚 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3859-3859 |
安圭拉 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3860-3860 |
阿鲁巴 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3861-3861 |
阿什莫尔和卡地亚岛屿 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3862-3862 |
贝克岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3863-3863 |
Bassas da 印度 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3864-3864 |
百慕大 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3865-3865 |
布维岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3866-3866 |
英属印度洋领地 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3867-3867 |
英属维尔京群岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3868-3868 |
开曼群岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3752-3752 |
ChannelIslands 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3869-3869 |
圣诞岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3870-3870 |
Clipperton岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3871-3871 |
科科斯基林群岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3872-3872 |
库克群岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3873-3873 |
珊瑚海岛屿 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3874-3874 |
欧罗巴岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3875-3875 |
福克兰群岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3876-3876 |
法罗群岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3877-3877 |
法属圭亚那 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3878-3878 |
法属波利尼西亚 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3879-3879 |
法国南部和南极的土地 是 依赖或特殊主权领域 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |