No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1563-1563 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4101-4101 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4098-4098 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4096-4096 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4556-4556 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2665-2665 |
Bologna italy is a geographic subregion of italy |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1562-1562 |
Bologna italy is an instance of city |