No TPTP formula. May not be expressible in strict first order. |
Media.kif 2560-2560 |
AalandIslands est une instance de Archipelago |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2595-2595 |
BritishVirginIslands est une instance de Archipelago |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1159-1159 |
PuertoRico est une instance de Archipelago |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2599-2599 |
USVirginIslands est une instance de Archipelago |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1163-1163 |
VirginIslands est une instance de Archipelago |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8220-8220 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8219-8219 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8218-8218 |
|