No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 135-135 |
BassasDaIndia est une instance de �le |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 137-137 |
BouvetIsland est une instance de �le |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 439-439 |
Cuba est une instance de �le |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 139-139 |
EuropaIsland est une instance de �le |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 141-141 |
GloriosoIslands est une instance de �le |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4246-4246 |
Guam est une instance de �le |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 143-143 |
HeardIslandAndMcDonaldIslands est une instance de �le |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1257-1257 |
Iceland est une instance de �le |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 550-550 |
Japan est une instance de �le |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 145-145 |
JuanDeNovaIsland est une instance de �le |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 804-804 |
LongIsland est une instance de �le |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 147-147 |
Mayotte est une instance de �le |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1327-1327 |
Rhodes est une instance de �le |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 149-149 |
TromelinIsland est une instance de �le |
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 |