No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1967-1967 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3983-3983 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4146-4146 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3130-3130 |
Lockerbie united kingdom is a geographic subregion of united kingdom |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1966-1966 |
Lockerbie united kingdom is an instance of city |