SouthernSouthAmerica
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 174-174 | Southern south america is a geographic subregion of south america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 250-250 | Southern south america is a geographic subregion of southern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 249-249 | Southern south america is a geographic subregion of western hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 98-98 | Southern south america is an instance of geographic area |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 513-513 | Argentina is a geographic subregion of southern south america |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 515-515 | Chile is a geographic subregion of southern south america |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 517-517 | Falkland islands is a geographic subregion of southern south america |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 518-518 | South georgia and the south sandwich islands is a geographic subregion of southern south america |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 519-519 | Uruguay is a geographic subregion of southern south america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 129-129 | Southern south america has name "Southern South America" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54260-54260 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54259-54259 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54258-54258 |