No TPTP formula. May not be expressible in strict first order. |
Media.kif 2560-2560 |
Aaland islands is an instance of archipelago |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2595-2595 |
British virgin islands is an instance of archipelago |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1159-1159 |
Puerto rico is an instance of archipelago |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2599-2599 |
US virgin islands is an instance of archipelago |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1163-1163 |
Virgin islands is an instance of 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 |
|