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 |