No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 135-135 |
BassasDaIndia e' uma instancia de Ilha |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 137-137 |
BouvetIsland e' uma instancia de Ilha |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 439-439 |
Cuba e' uma instancia de Ilha |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 139-139 |
EuropaIsland e' uma instancia de Ilha |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 141-141 |
GloriosoIslands e' uma instancia de Ilha |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4246-4246 |
Guam e' uma instancia de Ilha |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 143-143 |
HeardIslandAndMcDonaldIslands e' uma instancia de Ilha |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1257-1257 |
Iceland e' uma instancia de Ilha |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 550-550 |
Japan e' uma instancia de Ilha |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 145-145 |
JuanDeNovaIsland e' uma instancia de Ilha |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 804-804 |
LongIsland e' uma instancia de Ilha |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 147-147 |
Mayotte e' uma instancia de Ilha |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1327-1327 |
Rhodes e' uma instancia de Ilha |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 149-149 |
TromelinIsland e' uma instancia de Ilha |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 957-957 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1121-1121 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 633-633 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 164-164 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 167-167 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2318-2318 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 585-585 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 169-169 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 201-201 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 654-654 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |