No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 135-135 |
Bassas da india is an instance of island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 137-137 |
Bouvet island is an instance of island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 439-439 |
Cuba is an instance of island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 139-139 |
Europa island is an instance of island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 141-141 |
Glorioso islands is an instance of island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4246-4246 |
Guam is an instance of island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 143-143 |
Heard island and mc donald islands is an instance of island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1257-1257 |
Iceland is an instance of island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 550-550 |
Japan is an instance of island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 145-145 |
Juan de nova island is an instance of island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 804-804 |
Long island is an instance of island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 147-147 |
Mayotte is an instance of island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1327-1327 |
Rhodes is an instance of island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 149-149 |
Tromelin island is an instance of island |
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 |