No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 659-659 |
美国萨摩亚 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 660-660 |
澳大利亚 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 663-663 |
贝克岛 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 664-664 |
库克群岛 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 665-665 |
珊瑚海岛屿 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 666-666 |
斐 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 668-668 |
法属波利尼西亚 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 669-669 |
关岛 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 670-670 |
Howland岛 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 671-671 |
贾维斯岛 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 672-672 |
约翰斯顿环礁 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 673-673 |
金曼礁 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 674-674 |
基里巴斯 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 676-676 |
马绍尔群岛 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 678-678 |
密克罗尼西亚 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 680-680 |
中途岛屿 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 681-681 |
瑙鲁 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 683-683 |
新喀里多尼亚 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 684-684 |
新西兰 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 686-686 |
纽埃 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 687-687 |
诺福克岛 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 688-688 |
北马里亚纳群岛 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 689-689 |
帕劳 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 691-691 |
巴尔米拉环礁 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 692-692 |
皮特凯恩群岛 是 大洋洲 的 geographic 次要地区 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |