No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1965-1965 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5765-5765 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5639-5639 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5764-5764 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5767-5767 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5766-5766 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3128-3128 |
Linz australia is a geographic subregion of australia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1964-1964 |
Linz australia is an instance of city |