|
|
  SouthernSouthAmerica
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 174-174 | geographicSubregion SouthernSouthAmerica and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 250-250 | geographicSubregion SouthernSouthAmerica and SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 249-249 | geographicSubregion SouthernSouthAmerica and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 98-98 | SouthernSouthAmerica e' uma instancia de Area Geografica |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 513-513 | geographicSubregion Argentina and SouthernSouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 515-515 | geographicSubregion Chile and SouthernSouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 517-517 | geographicSubregion FalklandIslands and SouthernSouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 518-518 | geographicSubregion SouthGeorgiaAndTheSouthSandwichIslands and SouthernSouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 519-519 | geographicSubregion Uruguay and SouthernSouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 129-129 | SouthernSouthAmerica se chama nome "Southern South America" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54258-54258 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54257-54257 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54256-54256 |
|
|
|