No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1681-1681 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4125-4125 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4120-4120 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4122-4122 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4123-4123 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4121-4121 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4668-4668 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2798-2798 |
Dublin ireland is a geographic subregion of ireland |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1680-1680 |
Dublin ireland is an instance of city |