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 |
geographicSubregion DublinIreland and Ireland |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1680-1680 |
DublinIreland est une instance de ville |