No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 135-135 |
Bassas da 印度 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 137-137 |
布维岛 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 439-439 |
古巴 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 139-139 |
欧罗巴岛 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 141-141 |
Glorioso岛屿 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4246-4246 |
关岛 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 143-143 |
听过岛屿和麦当劳群岛 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1257-1257 |
冰岛 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 550-550 |
日本 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 145-145 |
胡安德诺瓦岛 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 804-804 |
长岛 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 147-147 |
马约特 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1327-1327 |
罗兹 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 149-149 |
特罗姆林岛 是 岛 的 instance |
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 |