No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1797-1797 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3981-3981 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4142-4142 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2925-2925 |
Hilversum netherlands is a geographic subregion of netherlands |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1796-1796 |
Hilversum netherlands is an instance of city |