No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 331-331 |
Greece is a geographic subregion of southern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 333-333 |
Holy see is a geographic subregion of southern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 335-335 |
Italy is a geographic subregion of southern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 337-337 |
Malta is a geographic subregion of southern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 339-339 |
San marino is a geographic subregion of southern europe |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 117-117 |
Southern europe has name "Southern Europe" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54212-54212 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54211-54211 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54210-54210 |
|