No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 275-275 |
Austria is a geographic subregion of central europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 277-277 |
Czech republic is a geographic subregion of central europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 279-279 |
Germany is a geographic subregion of central europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 281-281 |
Hungary is a geographic subregion of central europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 283-283 |
Liechtenstein is a geographic subregion of central europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 285-285 |
Poland is a geographic subregion of central europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 287-287 |
Slovakia is a geographic subregion of central europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 289-289 |
Slovenia is a geographic subregion of central europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 291-291 |
Switzerland is a geographic subregion of central europe |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 114-114 |
Central europe has name "Central Europe" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13848-13848 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13847-13847 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13846-13846 |
|