No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1392-1392 |
AdanaTurkey est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1394-1394 |
AddisAbabaEthiopia est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1396-1396 |
AdenYemen est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1398-1398 |
AdoraWestBank est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1400-1400 |
AfulaIsrael est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1402-1402 |
AgriTurkey est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1404-1404 |
AinDeflaAlgeria est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1406-1406 |
AinElHajarAlgeria est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1408-1408 |
AjaccioFrance est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1410-1410 |
AlBalamandLebanon est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1412-1412 |
AleiSinaiGazaStrip est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1414-1414 |
AleiZahavWestBank est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1416-1416 |
AleyLebanon est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1418-1418 |
AlgiersAlgeria est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1420-1420 |
AlkhanYurtRussia est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1422-1422 |
AlonMorehWestBank est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1424-1424 |
AmbonIndonesia est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1426-1426 |
AmmanJordan est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1428-1428 |
AnNuwaydiratBahrain est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1430-1430 |
AndeanSpain est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1432-1432 |
AngkorWatCambodia est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1434-1434 |
AnkaraTurkey est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1436-1436 |
AntalyaTurkey est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1438-1438 |
AntioquiaColombia est une instance de ville |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1440-1440 |
AntwerpBelgium est une instance de ville |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |