No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 568-568 |
Afghanistan est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 371-371 |
Albania est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 117-117 |
Algeria est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 153-153 |
Angola est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 429-429 |
AntiguaAndBarbuda est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 514-514 |
Argentina est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 631-631 |
Armenia est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 661-661 |
Australia est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 276-276 |
Austria est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 633-633 |
Azerbaijan est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 241-241 |
Bahrain est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 570-570 |
Bangladesh est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 434-434 |
Barbados est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 297-297 |
Belarus est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 472-472 |
Belize est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 192-192 |
Benin est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 572-572 |
Bhutan est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 496-496 |
Bolivia est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 373-373 |
BosniaAndHerzegovina est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 156-156 |
Botswana est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 501-501 |
Brazil est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 600-600 |
Brunei est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 375-375 |
Bulgaria est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 194-194 |
BurkinaFaso est une instance de nation |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 86-86 |
Burundi est une instance de nation |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |