No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1612-1613 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6247-6247 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6248-6248 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6249-6249 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6250-6250 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6251-6251 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6252-6252 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6253-6253 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6254-6254 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6256-6256 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6257-6257 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6258-6258 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4598-4598 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5911-5911 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6263-6263 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6259-6259 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6264-6264 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6261-6261 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6262-6262 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2719-2719 |
Chicago united states is a geographic subregion of united states |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1610-1610 |
Chicago united states is an instance of american city |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1611-1611 |
Chicago united states is a part of illinois |