No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1639-1639 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4117-4117 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4118-4118 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4115-4115 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4116-4116 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3975-3975 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4114-4114 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2750-2750 |
科西嘉岛法国 是 法国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1638-1638 |
科西嘉岛法国 是 城市 的 instance |