No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1935-1935 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3982-3982 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4145-4145 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4143-4143 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4144-4144 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3122-3122 |
Lile鲁塞法国 是 法国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1934-1934 |
Lile鲁塞法国 是 城市 的 instance |