|
|
  WesternSouthAmerica
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 175-175 | geographicSubregion WesternSouthAmerica and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 252-252 | geographicSubregion WesternSouthAmerica and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 99-99 | WesternSouthAmerica e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 253-253 | WesternSouthAmerica engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 254-254 | WesternSouthAmerica engloba SouthernHemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 522-522 | geographicSubregion Ecuador and WesternSouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 524-524 | geographicSubregion Peru and WesternSouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 130-130 | WesternSouthAmerica se chama nome "Western South America" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62847-62847 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62846-62846 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62845-62845 |
|
|
|