No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 135-135 |
例 bassas da 印度 and Island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 137-137 |
例 布維島 and Island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 439-439 |
例 古巴 and Island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 139-139 |
例 歐羅巴島 and Island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 141-141 |
例 glorioso島嶼 and Island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4246-4246 |
例 關島 and Island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 143-143 |
例 聽過島嶼和麥當勞群島 and Island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1257-1257 |
例 冰島 and Island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 550-550 |
例 日本 and Island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 145-145 |
例 胡安德諾瓦島 and Island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 804-804 |
例 長島 and Island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 147-147 |
例 馬約特 and Island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1327-1327 |
例 羅茲 and Island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 149-149 |
例 特羅姆林島 and 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 |