No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2495-2495 |
Adana turkey has name "Adana" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2497-2497 |
Addis ababa ethiopia has name "Addis Ababa" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2499-2499 |
Aden yemen has name "Aden" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2501-2501 |
Adora west bank has name "Adora" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 352-352 |
Advanced developing country has name "Advanced Developing Country" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4160-4160 |
Afghanistan has name "Afghanistan" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3522-3522 |
Africa has name "Africa" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2503-2503 |
Afula israel has name "Afula" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2505-2505 |
Agri turkey has name "Agri" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2507-2507 |
Ain defla algeria has name "Ain Defla" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2509-2509 |
Ain el hajar algeria has name "Ain el Hajar" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2511-2511 |
Ajaccio france has name "Ajaccio" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2513-2513 |
Al balamand lebanon has name "Al-Balamand " |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4064-4064 |
Albania has name "Albania" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2515-2515 |
Alei sinai gaza strip has name "Alei Sinai" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2517-2517 |
Alei zahav west bank has name "Alei Zahav" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2519-2519 |
Aley lebanon has name "Aley" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3946-3946 |
Algeria has name "Algeria" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2521-2521 |
Algiers algeria has name "Algiers" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2523-2523 |
Alkhan yurt russia has name "Alkhan-Yurt" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2525-2525 |
Alon moreh west bank has name "Alon Moreh" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2527-2527 |
Ambon indonesia has name "Ambon" |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 813-813 |
Foot ball US has name "American Football" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4194-4194 |
American samoa has name "American Samoa" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2529-2529 |
Amman jordan has name "Amman" |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |