No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2341-2341 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4321-4321 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4323-4323 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4329-4329 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4326-4326 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4324-4324 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4328-4328 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4028-4028 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4327-4327 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3547-3547 |
Stockholm sweden is a geographic subregion of sweden |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2340-2340 |
Stockholm sweden is an instance of city |