No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3923-3923 |
Argentina is a claimed territory of antarctica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3924-3924 |
Australia is a claimed territory of antarctica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3925-3925 |
Chile is a claimed territory of antarctica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3926-3926 |
France is a claimed territory of antarctica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3927-3927 |
New zealand is a claimed territory of antarctica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3928-3928 |
Norway is a claimed territory of antarctica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3929-3929 |
United kingdom is a claimed territory of antarctica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3715-3715 |
Israel is a claimed territory of gaza strip |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3716-3716 |
Palestinian liberation organization is a claimed territory of gaza strip |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3717-3717 |
China is a claimed territory of paracel islands |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3718-3718 |
Taiwan is a claimed territory of paracel islands |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3719-3719 |
Vietnam is a claimed territory of paracel islands |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3720-3720 |
China is a claimed territory of spratly islands |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3721-3721 |
Taiwan is a claimed territory of spratly islands |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3722-3722 |
Vietnam is a claimed territory of spratly islands |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3723-3723 |
Israel is a claimed territory of west bank |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3724-3724 |
Palestinian liberation organization is a claimed territory of west bank |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3725-3725 |
Morocco is a claimed territory of western sahara |