No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3923-3923 |
阿根廷 是 南極洲 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3924-3924 |
澳大利亞 是 南極洲 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3925-3925 |
智利 是 南極洲 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3926-3926 |
法國 是 南極洲 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3927-3927 |
新西蘭 是 南極洲 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3928-3928 |
挪威 是 南極洲 的 claimed 領土 |
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 3715-3715 |
以色列 是 加沙地帶 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3716-3716 |
巴勒斯坦解放組織 是 加沙地帶 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3717-3717 |
中國 是 西沙群島 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3718-3718 |
台灣 是 西沙群島 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3719-3719 |
越南 是 西沙群島 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3720-3720 |
中國 是 南沙群島 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3721-3721 |
台灣 是 南沙群島 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3722-3722 |
越南 是 南沙群島 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3723-3723 |
以色列 是 西方銀行 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3724-3724 |
巴勒斯坦解放組織 是 西方銀行 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3725-3725 |
摩洛哥 是 西撒哈拉 的 claimed 領土 |