No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2194-2194 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4235-4235 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4234-4234 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3387-3387 |
Pau france is a geographic subregion of france |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2193-2193 |
Pau france is an instance of city |