No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4062-4062 |
英国 是 "UK" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 68-68 |
英国 是 伦敦 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3929-3929 |
英国 是 南极洲 的 claimed 领土 |
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 3738-3738 |
百慕大 是 英国 的 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 3766-3766 |
福克兰群岛 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3776-3776 |
直布罗陀 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3785-3785 |
根西岛 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3793-3793 |
人岛 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3799-3799 |
球衣 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3815-3815 |
蒙特塞拉特 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 756-756 |
巴勒斯坦 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3831-3831 |
皮特凯恩群岛 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3836-3836 |
圣海伦娜 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3840-3840 |
南佐治亚和南三明治岛屿 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3848-3848 |
特克斯和凯科斯群岛 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3130-3130 |
洛克曼联合王国 是 英国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3134-3134 |
伦敦 是 英国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3183-3183 |
曼彻斯特联合王国 是 英国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4713-4713 |
BritishSeagullCorp 的 headquarters 是在 英国 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |