No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1947-1947 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5293-5293 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5298-5298 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5296-5296 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5301-5301 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5294-5294 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5295-5295 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3105-3105 |
geographicSubregion LahorePakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1946-1946 |
LahorePakistan est une instance de ville |