No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1963-1963 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3344-3344 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1412-1412 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3544-3544 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3546-3546 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3545-3545 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3126-3126 |
林多斯罗兹 是 罗兹 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1962-1962 |
林多斯罗兹 是 城市 的 instance |