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 领土 |